449 search results - page 30 / 90 » Formal Modeling of Communication Protocols by Graph Transfor... |
127
click to vote
EDCC
2010
Springer
15 years 6 months ago
2010
Springer
Wireless networks are starting to be populated by interconnected devices that reveal remarkable hardware and software differences. This fact raises a number of questions on the ap...
101
click to vote
QSIC
2009
IEEE
15 years 8 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 ...
126
click to vote
WOSP
2005
ACM
15 years 7 months ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
CIMCA
2006
IEEE
15 years 7 months ago
2006
IEEE
The MPSG (Message-based Part State Graph) model has been developed for the execution portion of shop-floor controllers that operate in a distributed and hierarchical control envir...
100
click to vote
DISCEX
2003
IEEE
15 years 6 months ago
2003
IEEE
Secure group communication protocols have been designed to meet needs such as secure management of group membership, confidential group communication, and access control. New lan...