1268 search results - page 93 / 254 » Verifying distributed systems: the operational approach |
144
click to vote
DATE
2006
IEEE
16 years 7 days ago
2006
IEEE
This paper presents the design and full prototype implementation of a configurable multiprocessor platform that supports distributed execution of applications described in UML 2.0...
159
click to vote
CHARME
1997
Springer
15 years 9 months ago
1997
Springer
Formal verification techniques need to deal with the complexity of the systems rified. Most often, this problem is solved by taking an abstract model of the system and aiming at a...
175
click to vote
CSMR
2006
IEEE
16 years 7 days ago
2006
IEEE
Recovering the architecture is the first step towards reengineering a software system. Many reverse engineering tools use top-down exploration as a way of providing a visual and ...
186
click to vote
RE
2010
Springer
15 years 28 days ago
2010
Springer
Abstract Requirements Engineering (RE) research often ignores, or presumes a uniform nature of the context in which the system operates. This assumption is no longer valid in emerg...
174
click to vote
AAAI
2006
15 years 7 months ago
2006
In this paper we present the Behaviosite Paradigm, a new approach to coordination and control of distributed agents in a multiagent system, inspired by biological parasites with b...