950 search results - page 112 / 190 » Tool Support for Model Checking of Web Application Designs |
WOSP
1998
ACM
14 years 1 days ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
EUMAS
2006
13 years 9 months ago
2006
Current IT application domains such as web services and autonomic computing call for highly flexible systems, able to automatically adapt to changing operational environments as w...
CAISE
2004
Springer
14 years 1 months ago
2004
Springer
Automation and integration of business processes are at the heart of contemporary enterprise systems. In the pursuit of this goal, process automation technology is employed at vary...
CN
2006
13 years 7 months ago
2006
Web services are becoming increasingly complex as users become more experienced in their requests to access an ever growing collection of information on the Web. In this paper we ...
ECMDAFA
2005
Springer
14 years 1 months ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...