285 search results - page 24 / 57 » Towards a Compositional Approach to the Design and Verificat... |
IJAOSE
2008
13 years 8 months ago
2008
: Even if Multiagent Systems (MASs) are recognised as an appealing paradigm for designing many computer systems ranging from complex distributed systems to intelligent software app...
DEBS
2009
ACM
14 years 1 months ago
2009
ACM
This paper presents our experiences with building of the soft state XSiena publish/subscribe system. We provide a brief overview of our approach towards the soft state in publish/...
PODC
1995
ACM
14 years 8 hour ago
1995
ACM
The Horus system supports a communication architecture ats protocols as instances of an abstract data type. This approach encourages developers to partition complex protocols into...
UML
2005
Springer
14 years 1 months ago
2005
Springer
Crosscutting concerns are pervasive in embedded software, because of the various constraints imposed by the environment and the stringent QOS requirements on the system. This pape...
WWW
2005
ACM
14 years 9 months ago
2005
ACM
The demand for quickly delivering new applications is increasingly becoming a business imperative today. Application development is often done in an ad hoc manner, without standar...