24554 search results - page 243 / 4911 » Dependable distributed systems |
141
click to vote
DAI
1995
Springer
15 years 10 months ago
1995
Springer
In response to the problems that have arisen regarding the terminology and concepts of agent-oriented systems, previous work has described a formal framework for understanding agen...
193
click to vote
IWPC
2002
IEEE
15 years 11 months ago
2002
IEEE
Program slicing has many applications in software engineering activities including program comprehension, debugging, testing, maintenance, and model checking. In this paper, we pr...
183
click to vote
ISPAN
2008
IEEE
16 years 25 days ago
2008
IEEE
Parallel computing is notoriously challenging due to the difficulty in developing correct and efficient programs. With the arrival of multi-core processors for desktop systems, ...
152
click to vote
COORDINATION
2005
Springer
15 years 12 months ago
2005
Springer
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...
172
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— The present paper considers distributed consensus algorithms for agents evolving on a connected compact homogeneous (CCH) manifold. The agents track no external referen...