950 search results - page 27 / 190 » Tool Support for Model Checking of Web Application Designs |
SAC
2004
ACM
14 years 1 months ago
2004
ACM
Web applications have become complex and crucial for many firms, especially when combined with areas such as CRM (Customer Relationship Management) and BPR (Business Process Reen...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
We present a software architecture to implement applications in the Semantic Web, based on designs specified in the Semantic Hypermedia Design Method (SHDM). This architecture sup...
IHI
2012
12 years 3 months ago
2012
We present a novel software tool called CDN (Collaborative Data Network) for large-scale sharing and querying of clinical documents modeled using HL7 v3 standard (e.g., Clinical D...
SIGSOFT
2009
ACM
14 years 8 months ago
2009
ACM
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
Semantic Web, the next generation of Web, gives data well-defined and machine-understandable meaning so that they can be processed by remote intelligent agents cooperatively. Onto...