950 search results - page 58 / 190 » Tool Support for Model Checking of Web Application Designs |
SOCA
2007
IEEE
14 years 3 months ago
2007
IEEE
Current technologies aimed at supporting processes – whether it is a business process or a learning process – are usually based on using a dedicated set of metadata to describ...
ICSM
2008
IEEE
14 years 3 months ago
2008
IEEE
A principal goal of agent-oriented software engineering (AOSE) is to provide the mechanisms for reusing, maintaining and allowing the evolution of agent-based software systems. Ou...
PERVASIVE
2005
Springer
14 years 2 months ago
2005
Springer
Ubiquitous Web systems have to deal with varying context information in order to support context awareness. Accomplishing this requirement necessitates gathering, processing and r...
IEEESCC
2007
IEEE
14 years 3 months ago
2007
IEEE
Merging orchestrations is a crucial issue in the development process of service-based applications. However, merging orchestrations with overlaps is a manual and tedious process t...
USS
2010
13 years 7 months ago
2010
Web applications are the most common way to make services and data available on the Internet. Unfortunately, with the increase in the number and complexity of these applications, ...