Sciweavers

222 search results - page 17 / 45
» Specification of Role-Based Interactions Components in Multi...
Sort
View
DAC
2008
ACM
16 years 2 months ago
Specify-explore-refine (SER): from specification to implementation
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
Andreas Gerstlauer, Junyu Peng, Dongwan Shin, Dani...
116
Voted
PRIMA
2001
Springer
15 years 6 months ago
The Role of Castes in Formal Specification of MAS
One of the most appealing features of multiagent technology is its natural way to modularise a complex system in terms of multiple, interacting and autonomous components. As a natu...
Hong Zhu
CORR
2010
Springer
176views Education» more  CORR 2010»
15 years 2 months ago
Bus Protocols: MSC-Based Specifications and Translation into Program of Verification Tool for Formal Verification
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...
Kamrul Hasan Talukder
INTERACT
2003
15 years 3 months ago
A Model-Based Approach for Engineering Multimodal Interactive Systems
Abstract: Representing the behaviour of multimodal interactive systems in a complete, concise and nonambiguous way is still a challenge for formal description techniques. Indeed, m...
Philippe A. Palanque, Amélie Schyn
103
Voted
AAAI
1997
15 years 3 months ago
Model Decomposition and Simulation: A Component Based Qualitative Simulation Algorithm
Traditionally, qualitative simulation uses a global, state-based representation to describe the behavior of the modeled system. For larger, more complex systems this representatio...
Daniel J. Clancy, Benjamin Kuipers