197 search results - page 5 / 40 » Unifying Architectural and Behavioural Specifications of Dis... |
96
Voted
SCCC
1998
IEEE
15 years 5 months ago
1998
IEEE
Software architectural design is essential for complex distributed applications. Architectural specifications need to define the key aspects of the application, including its inte...
83
Voted
ENTCS
2007
15 years 22 days ago
2007
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
90
Voted
PERCOM
2009
ACM
16 years 1 months ago
2009
ACM
Many missions are deemed dangerous or impractical to perform by humans, but can use collaborating, self-managing Unmanned Autonomous Vehicles (UAVs) which adapt their behaviour to ...
134
click to vote
AAMAS
2004
Springer
15 years 20 days ago
2004
Springer
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
116
click to vote
ASE
1999
15 years 14 days ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...