950 search results - page 12 / 190 » Tool Support for Model Checking of Web Application Designs |
ECOOPW
1998
Springer
13 years 12 months ago
1998
Springer
This workshop focussed on the requirements for tools and environments that support business rules in an object-oriented setting and attempted to provide an overview of possible tec...
CLIMA
2011
12 years 7 months ago
2011
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
ISCAICIS
2000
13 years 9 months ago
2000
The World Wide Web (Web) offers a large potential for delivery of various information-based services, including the services of intelligent applications. As access to the Web has ...
ICWS
2004
IEEE
13 years 9 months ago
2004
IEEE
This paper presents an emerging tool for security configuration of service-oriented architectures with Web Services. Security is a major concern when implementing mission-critical...
GI
2009
Springer
14 years 7 days ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...