28 search results - page 4 / 6 » A Behavioral Type Inference System for Compositional System-... |
135
click to vote
SSS
2010
Springer
15 years 1 months ago
2010
Springer
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
143
click to vote
MOBILITY
2009
ACM
15 years 8 months ago
2009
ACM
Many adaptative context-aware middleware exist and mostly rely on so-called vertical architectures that offer a functional decomposition for context-awareness. This architecture ...
151
click to vote
IADIS
2004
15 years 4 months ago
2004
This paper presents the design principles, development and implementation of an e-learning framework, called Intelligent Cognitive Agents (InCA). The InCA framework is an ontology...
147
click to vote
TII
2010
14 years 10 months ago
2010
Behavior, Interaction, Priorities (BIP) is a component framework for constructing systems from a set of atomic components by using two kinds of composition operators: interactions ...
117
Voted
FM
2006
Springer
15 years 7 months ago
2006
Springer
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...