1454 search results - page 152 / 291 » Stateful traits and their formalization |
178
click to vote
ATAL
2007
Springer
16 years 15 days ago
2007
Springer
Multiagent environments are often not cooperative nor collaborative; in many cases, agents have conflicting interests, leading to adversarial interactions. This paper presents a ...
154
click to vote
FASE
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
187
click to vote
RSP
2006
IEEE
16 years 10 days ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
197
click to vote
WISE
2006
Springer
16 years 10 days ago
2006
Springer
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...
182
click to vote
PEWASUN
2006
ACM
16 years 8 days ago
2006
ACM
Mobility, in its various forms, is one of the sources of several technical challenges being addressed in the last years to achieve a more flexible computing and communication inf...