1395 search results - page 175 / 279 » Incremental Construction Approach for Distributed System Spe... |
136
click to vote
MATES
2005
Springer
15 years 8 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...
153
click to vote
PG
2003
IEEE
15 years 8 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...
119
Voted
IASTEDSE
2004
15 years 4 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...
144
click to vote
FUIN
2006
15 years 2 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...
123
click to vote
ESCIENCE
2007
IEEE
15 years 9 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...