656 search results - page 70 / 132 » A Formalization of Transition P Systems |
DSN
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
109
Voted
ICCS
2005
Springer
15 years 6 months ago
2005
Springer
The paper presents the Multi Agent System (MAS) designed for the large scale parallel computations. The special kind of diffusionbased scheduling enables to decompose and allocate...
ICFP
2005
ACM
16 years 13 days ago
2005
ACM
We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. The interface includes primitives for controllin...
130
Voted
FDL
2007
IEEE
15 years 6 months ago
2007
IEEE
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...
111
Voted
DALT
2009
Springer
15 years 7 months ago
2009
Springer
What distinguishes multiagent systems from other software systems is their emphasis on the interactions among autonomous, heterogeneous agents. This paper motivates and characteriz...