67 search results - page 4 / 14 » Formal modeling and quantitative analysis of KLAIM-based mob... |
IFM
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
ANSS
2003
IEEE
15 years 2 months ago
2003
IEEE
This paper presents a simulation performance improvement of the application of the Multicomponent Discrete Time System Specification (MultiDTSS) formalism to a fire spread. Multic...
SAS
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...
90
Voted
AGTIVE
2007
Springer
15 years 3 months ago
2007
Springer
Communities of autonomous units are being developed for formal specification and semantic analysis of systems of interacting and mobile components. The autonomous units of a commu...
103
Voted
ISAMI
2010
14 years 7 months ago
2010
It is recognized in Ambient Intelligence that ambient devices should be modeled as intelligent autonomous components rather than passive information sources. The agent paradigm sui...