449 search results - page 25 / 90 » Formal Modeling of Communication Protocols by Graph Transfor... |
ICSE
2003
IEEE-ACM
16 years 1 months ago
2003
IEEE-ACM
Increasingly systems are composed of parts: software components, and the interaction mechanisms (connectors) that enable them to communicate. When assembling systems from independ...
110
click to vote
JAR
2008
15 years 1 months ago
2008
The spreading of multicast technology enables the development of group communication and so dealing with digital streams becomes more and more common over the Internet. Given the f...
112
click to vote
ECOWS
2006
Springer
15 years 5 months ago
2006
Springer
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
132
click to vote
JSA
2008
15 years 29 days ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
101
click to vote
DSD
2006
IEEE
15 years 5 months ago
2006
IEEE
We present a performance-oriented refinement approach that refines a perfectly synchronous communication model onto Network-on-Chip (NoC) communication. We first identify four bas...