449 search results - page 48 / 90 » Formal Modeling of Communication Protocols by Graph Transfor... |
155
Voted
MATES
2004
Springer
15 years 9 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...
111
Voted
TACAS
2001
Springer
15 years 8 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...
144
Voted
AGTIVE
2007
Springer
15 years 9 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 ...
113
Voted
INFOCOM
2009
IEEE
15 years 10 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...
150
Voted
DSRT
2008
IEEE
15 years 10 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...