7209 search results - page 348 / 1442 » Software Engineering for Multi-Agent Systems |
115
Voted
COMPSAC
2009
IEEE
15 years 4 months ago
2009
IEEE
There is no clear distinction between service-oriented systems (SOS) and component-based systems (CBS). However, there are several characteristics that could let one consider SOS ...
108
click to vote
AC
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. It is now recognized that the Consensus problem is a fundamental problem when one has to design and implement reliable asynchronous distributed systems. This chapter is o...
90
Voted
AVI
2000
15 years 2 months ago
2000
In various circumstances, it is possible to arrive at the need to specify sequences of operations that a "machine" has to perform to achieve a purpose. This paper will p...
102
Voted
RE
2008
Springer
14 years 11 months ago
2008
Springer
Requirements models are essential not just during system implementation, but also to manage system changes post-implementation. Such models should be supported by a requirements m...
68
Voted
ICSE
2009
IEEE-ACM
15 years 7 months ago
2009
IEEE-ACM
In this paper I will address the problem of verifying that a service-oriented embedded system fulÀlls required safety guarantees. Services will be represented by collaborations a...