913 search results - page 121 / 183 » Formal Agent Development: Framework to System |
135
click to vote
FM
2008
Springer
15 years 5 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
136
Voted
DSN
2004
IEEE
15 years 7 months ago
2004
IEEE
It is often the case that safety-critical systems have to be reconfigured during operation because of issues such as changes in the system's operating environment or the fail...
125
click to vote
SAC
2003
ACM
15 years 9 months ago
2003
ACM
Software coordination models and languages describe how agents, resources and processes work together to implement a software system. One of their limitations is that they are use...
150
click to vote
WETICE
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper describes WOLF, a development environment for WADE-based applications. WADE is a software platform, based on JADE, a popular Open Source framework, for the development ...
114
click to vote
IANDC
2008
15 years 3 months ago
2008
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...