2024 search results - page 37 / 405 » A Formal Model of Multi-agent Computations |
89
Voted
SAC
2005
ACM
15 years 4 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
94
Voted
VLSID
1999
IEEE
15 years 3 months ago
1999
IEEE
Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems...
CONCUR
2000
Springer
15 years 3 months ago
2000
Springer
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...
GCC
2003
Springer
15 years 4 months ago
2003
Springer
Management of various complex resources is an important issue to be well done, in order to fulfill the potential of Grid. In this paper, we propose a formal data model and algebra ...
105
click to vote
SEMCO
2009
IEEE
15 years 5 months ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...