950 search results - page 168 / 190 » Tool Support for Model Checking of Web Application Designs |
SPLC
2010
13 years 9 months ago
2010
Groupware are computer-based systems designed to support groups of people working together providing a shared environment. Given that developing this kind of application is not a t...
SIGMOD
2010
ACM
13 years 7 months ago
2010
ACM
Schema evolution is an unavoidable consequence of the application development lifecycle. The two primary schemas in an application, the client conceptual object model and the pers...
SEKE
2010
Springer
13 years 6 months ago
2010
Springer
— Many open source software (OSS) development projects use tools and models that come from heterogeneous sources. A project manager, who wants to analyze indicators for the state...
MSWIM
2005
ACM
14 years 1 months ago
2005
ACM
Developing network protocols for mobile wireless systems is a complex task, and most of the existing simulator frameworks are not well suited for experimental development. The YAE...
VIS
2004
IEEE
14 years 8 months ago
2004
IEEE
Virtual prototyping is increasingly replacing real mock-ups and experiments in industrial product development. Part of this process is the simulation of structural and functional ...