857 search results - page 24 / 172 » Interactive Consistency in Quasi-Asynchronous Systems |
AGENTS
1999
Springer
14 years 28 days ago
1999
Springer
This paper presents a methodology for agent-oriented analysis and design. The methodology is general, in that it is applicable to a wide range of multi-agent systems, and comprehe...
ECBS
2007
IEEE
14 years 3 months ago
2007
IEEE
Today, many software-based, reactive systems offer a multitude of functionality. One way to master the development of such a system is to model its functionality on an abstract le...
TLCA
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
MHCI
2009
Springer
14 years 3 months ago
2009
Springer
We present a context-aware pictographic display system that facilitates the search for communication cards that bear some relation to the location and goal of the user. The system...
CBSE
2009
Springer
14 years 3 months ago
2009
Springer
An integrated model-based development approach has to capture the relationship between requirements, design, and implementation models. In the requirements engineering phase, the m...