Pushing requirements changes through to changes in specifications
Verifying BPEL-like programs with Hoare logic
On automatic verification of self-stabilizing population protocols
Compositional encoding for bounded model checking
Automated verification of pointer programs in pointer logic
Workflow-based semantics for peer-to-peer specifications
A Petri net-based approach for supporting aspect-oriented modeling
Style transformation in natural languages
An improved algorithm for gray image representation using non-symmetry and anti-packing model with triangles and rectangles
A robust localization algorithm in wireless sensor networks
Types, structures and theories in NKI
Progress in theoretical quantum computing
Entanglement of formation and concurrence for mixed states
Decoherence control for high-temperature reservoirs
Quantum fixed-point search algorithm with general phase shifts
Constructing quantum codes
Controlled teleportation
Quantum programming languages
Duality quantum computing
Quantum probabilistically cloning and computation
High-dimension Bell inequalities
An overview of quantum computation models: quantum automata
Basic research in computer science and software engineering at SKLCS
Calculi of meta-variables
Human factors in continuous time-concerned cooperative systems represented by NΣ-labeled calculus
Semantics of sub-probabilistic programs
Computational origami environment on the web
On the verification of polynomial system solvers
Fraction-free matrix factors: new forms for LU and QR factors
An extended EM algorithm for subspace clustering
Gibbs artifact reduction for POCS super-resolution image reconstruction
Arnetminer: expertise oriented search using social networks
ID-based deniable ring authentication with constant-size signature
Introduction to the special section on peer-to-peer computing and web data management
Using Wide Table to manage web data: a survey
Decentralized architecture for resource management of group-based distributed systems
Supporting K nearest neighbors query on high-dimensional data in P2P systems
Distributed query processing in flash-based sensor networks
Traceable P2P record exchange: a database-oriented approach
Status of pattern recognition with wavelet analysis
Median Fisher Discriminator: a robust feature extraction method with applications to biometrics
Dynamic description logic model for data integration
