950 search results - page 96 / 190 » Tool Support for Model Checking of Web Application Designs |
WSC
2008
13 years 10 months ago
2008
The commercial simulation environments that are available today focus primarily on the development of simulation models. They are designed for a single user. They provide animatio...
IIWAS
2008
13 years 9 months ago
2008
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
SIGMOD
2009
ACM
14 years 8 months ago
2009
ACM
Mashup is a new application development approach that allows users to aggregate multiple services to create a service for a new purpose. Even if the Mashup approach opens new and ...
SAC
2011
ACM
12 years 10 months ago
2011
ACM
We propose a novel approach and tool for collaborative software engineering and development. In model-based software engineering, the underlying data structure is a complex, direc...
FASE
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...