1121 search results - page 93 / 225 » Model and Formalism Driven Development of Collaborative Appl... |
107
click to vote
ARGMAS
2004
Springer
15 years 5 months ago
2004
Springer
Formal dialectic systems have been suggested as a means to model inter-agent communication in multi-agent systems. The formal dialectic systems of Hamblin are practical models for ...
129
click to vote
ENTCS
2008
15 years 1 months ago
2008
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...
111
click to vote
EUROMICRO
1996
IEEE
15 years 5 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
107
click to vote
FASE
2004
Springer
15 years 7 months ago
2004
Springer
Context-aware computing refers to a computing paradigm in which the behavior of individual components is determined by the circumstances in which they find themselves to an extent...
119
click to vote
DATE
2004
IEEE
15 years 5 months ago
2004
IEEE
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...