449 search results - page 48 / 90 » Formal Modeling of Communication Protocols by Graph Transfor... |
135
click to vote
MATES
2004
Springer
15 years 6 months ago
2004
Springer
Most of the Agent-Oriented software engineering methodologies that have been developed in the last years tend to propose a model-based approach to software development. To be put i...
TACAS
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. A message sequence chart (MSC) is a standard notation for describing the interaction between communicating objects. It is popular among the designers of communication pro...
128
click to vote
AGTIVE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Aspect-orientation has gained increasing popularity, especially within the programming domain, with textual-based approaches such as AspectJ. Aspect-orientation provides ...
INFOCOM
2009
IEEE
15 years 8 months ago
2009
IEEE
— Incentive protocols play a crucial role to encourage cooperation among nodes in networking applications. The aim of this paper is to provide a general analytical framework to a...
132
Voted
DSRT
2008
IEEE
15 years 8 months ago
2008
IEEE
The DEVS formalism has been adopted and developed independently by many research teams, which led to various DEVS implementation versions. Consequently, different DEVS implementat...