21 search results - page 4 / 5 » Verifying Distributed, Event-Based Middleware Applications U... |
SIGSOFT
2003
ACM
13 years 10 months ago
2003
ACM
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...
DEBS
2003
ACM
13 years 10 months ago
2003
ACM
Publish/subscribe infrastructures, specifically notification servers, are used in a large spectrum of distributed applications as their basic communication and integration infrast...
HIPC
2007
Springer
13 years 9 months ago
2007
Springer
First Come First Served (FCFS) is a policy that is accepted for implementing fairness in a number of application domains such as scheduling in Operating Systems, scheduling web req...
ISSTA
2000
ACM
13 years 9 months ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...
KBSE
2010
IEEE
13 years 3 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...