974 search results - page 106 / 195 » Formal Modeling of Communication Traces |
PROMAS
2005
Springer
15 years 5 months ago
2005
Springer
Multi-agent system(MAS) is a blooming research area, which exhibits a new paradigm for the design, modelling and implementation of complex systems. A significant amount of effort...
115
click to vote
ICFEM
2003
Springer
15 years 4 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
122
click to vote
FIW
2009
14 years 9 months ago
2009
Abstract. The idea of feature-oriented programming is to map requirements to features, concepts that can be composed to form a software product. Change-oriented programming (ChOP),...
84
Voted
QSIC
2009
IEEE
15 years 6 months ago
2009
IEEE
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled ...
212
click to vote
AMCS
2011
14 years 6 months ago
2011
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...