2060 search results - page 94 / 412 » The Composition of Event-B Models |
141
click to vote
ECRTS
2007
IEEE
15 years 10 months ago
2007
IEEE
A critical resource in a distributed real-time system is its shared communication medium. Unrestrained concurrent access to the network can lead to collisions that reduce the syst...
130
click to vote
CCGRID
2005
IEEE
15 years 9 months ago
2005
IEEE
The emerging service grids bring together various distributed services to a ‘market’ for clients to request and enable the integration of services across distributed, heteroge...
142
click to vote
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
117
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related framew...
137
click to vote
ICWS
2009
IEEE
16 years 1 months ago
2009
IEEE
Emerging as the popular choice for leading Internet companies to expose internal data and resources, RESTful Web services are attracting increasing attention in the industry. Whil...