1395 search results - page 175 / 279 » Incremental Construction Approach for Distributed System Spe... |
101
click to vote
MATES
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents the language and software environment LEADSTO that has been developed to model and simulate the dynamics of Multi-Agent Systems (MAS) in terms of both qualitati...
104
click to vote
PG
2003
IEEE
15 years 3 months ago
2003
IEEE
High-quality non-intrusive human motion capture is necessary for acquistion of model-based free-viewpoint video of human actors. Silhouette-based approaches have demonstrated that...
IASTEDSE
2004
14 years 11 months ago
2004
Consumer devices have domain specific constraints imposed by end-users, device manufacturers and service providers. These constraints focus on the need for security and reliabilit...
103
click to vote
FUIN
2006
14 years 10 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
ESCIENCE
2007
IEEE
15 years 4 months ago
2007
IEEE
Nowadays, grid and peer-to-peer (p2p) technologies have become popular solutions for large-scale resource sharing and system integration. For e-science workflow systems, grid is a...