637 search results - page 98 / 128 » Inconsistency-Tolerant Integrity Checking |
107
click to vote
TGC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
ADC
2004
Springer
15 years 2 months ago
2004
Springer
A complete workflow specification requires careful integration of many different process characteristics. Decisions must be made as to the definitions of individual activities, th...
ICFEM
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
ICSOC
2004
Springer
15 years 2 months ago
2004
Springer
Service-based approaches are widely used to integrate heterogenous systems. Web services allow for the definition of highly dynamic systems where components (services) can be dis...
IFM
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...