2095-2228

Frontiers of Computer Science （FCS） - December 2008, issue 4 论文列表

点击这里查看 Frontiers of Computer Science 的JCR分区、影响因子等信息
卷期号： December 2008, issue 4
发布时间：
卷期年份： 2008
卷期官网： https://link.springer.com/journal/11704/volumes-and-issues/2-4
本期论文列表
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