950 search results - page 53 / 190 » Tool Support for Model Checking of Web Application Designs |
ICECCS
2007
IEEE
14 years 2 months ago
2007
IEEE
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
ICWS
2007
IEEE
13 years 9 months ago
2007
IEEE
Current technologies aimed at supporting processes – whether it is a business or learning process – primarily follow a metadata- and data-centric paradigm. Whereas process met...
MEDES
2009
ACM
14 years 2 months ago
2009
ACM
Although research in data integration has become one of the main issues in [6], geographic data integration is still a laborious and complicated problem, even for specialists. Geo...
IEEESCC
2007
IEEE
14 years 2 months ago
2007
IEEE
—Integration of heterogeneous information becomes again a requirement with the emergence of large-scale distributed applications such as Web-Services based Applications. Enterpri...
PCI
2005
Springer
14 years 1 months ago
2005
Springer
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is useful for many applications in the Semantic W...