2060 search results - page 323 / 412 » The Composition of Event-B Models |
218
Voted
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
Significant efforts are currently invested in application integration to enable the interaction and composition of business processes of different companies, yielding complex, mul...
116
click to vote
ICWS
2009
IEEE
16 years 1 months ago
2009
IEEE
Negotiation of Service Level Agreements (SLAs) is very important for maintaining Quality of Service (QoS) of composite Web services-based business processes. The process of negoti...
133
click to vote
ICWS
2009
IEEE
16 years 1 months ago
2009
IEEE
Analyzing interactions among peers that interact via messages is a crucial problem due to increasingly distributed nature of current software systems, especially the ones built us...
129
click to vote
LATIN
2010
Springer
15 years 11 months ago
2010
Springer
Concurrent compositions of recursive programs with finite a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form ...
132
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— Cooperative steering controls enable mobile sampling platforms to conduct synoptic, adaptive surveys of dynamic spatiotemporal processes by appropriately regulating the...