5863 search results - page 1047 / 1173 » On Model-Checking of P Systems |
133
click to vote
ICALP
2000
Springer
15 years 7 months ago
2000
Springer
Message Sequence Charts (MSCs) are an attractive visual formalism widely used to capture system requirements during the early design stages in domains such as telecommunication sof...
105
click to vote
NGC
2000
Springer
15 years 7 months ago
2000
Springer
Replication is known to offer high availability in the presence of failures. This paper considers the case of a client making invocations on a group of replicated servers. It iden...
170
click to vote
ER
1997
Springer
15 years 7 months ago
1997
Springer
Development of today's advanced applications is increasingly being accomplished using multi-faceted modeling. For example, the areas of simulation and workflow modeling genera...
158
click to vote
SIGGRAPH
2000
ACM
15 years 7 months ago
2000
ACM
Pose space deformation generalizes and improves upon both shape interpolation and common skeleton-driven deformation techniques. This deformation approach proceeds from the observ...
143
click to vote
ICCV
1995
IEEE
15 years 7 months ago
1995
IEEE
A general-purpose object indexingtechnique is described that combines the virtues of principal component analysis with the favorable matching properties of high-dimensional spaces...