1643 search results - page 210 / 329 » Consistability: Describing Usually Consistent Systems |
RSP
2007
IEEE
15 years 5 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
86
Voted
SASO
2007
IEEE
15 years 5 months ago
2007
IEEE
Management in pervasive systems cannot rely on human intervention or centralised decision-making functions. It must be devolved, based on local decision-making and feedback contro...
AOSE
2007
Springer
15 years 4 months ago
2007
Springer
This paper describes the Organization-based Multiagent System Engineering (O-MaSE) Process Framework, which helps process engineers define custom multiagent systems development pr...
IV
2005
IEEE
15 years 4 months ago
2005
IEEE
Visualisation systems consisting of a set of components through which data and interaction commands flow have been explored by a number of researchers. Such hybrid and multistage ...
RTAS
2005
IEEE
15 years 4 months ago
2005
IEEE
As computer systems become increasingly internetworked, there is a growing class of distributed realtime embedded (DRE) applications that have characteristics and present challeng...