950 search results - page 29 / 190 » Tool Support for Model Checking of Web Application Designs |
IUI
2003
ACM
14 years 28 days ago
2003
ACM
An emerging approach to multi-device application development developers to build an abstract semantic model that is translated into specific implementations for web browsers, PDAs...
ICSEA
2007
IEEE
14 years 1 months ago
2007
IEEE
The actual standards for service authoring, composition and development are not easy to port and to apply for next generation mobile applications. This paper describes some tools ...
EICS
2009
ACM
14 years 10 days ago
2009
ACM
MoLIC, a modeling language for designing interaction as a metaphor of conversation, was proposed to allow designers to build a blueprint of all interaction that may take place whe...
EKAW
2008
Springer
13 years 9 months ago
2008
Springer
Query formulation is a key aspect of information retrieval, contributing to both the efficiency and usability of many semantic applications. A number of query languages, such as SP...
ICWE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Conceptual modelling is a promising approach for Web application development, thanks to innovative CASE tools that can transform high-level specifications into executabl...