4350 search results - page 32 / 870 » Case studies for contract-based systems |
ACSW
2004
13 years 11 months ago
2004
We present a detailed examination of the access constraints for a small real-world Health Information System with the aim of achieving minimal access rights for each of the involv...
IWPC
1998
IEEE
14 years 1 months ago
1998
IEEE
Rapid system understanding is required in the planning, feasibility assessment and cost estimating phases of a system renovation project. In this paper, we apply a number of analy...
ATAL
2008
Springer
13 years 12 months ago
2008
Springer
Of the ways in which agent behaviour can be regulated in a multiagent system, electronic contracting
VLDB
2005
ACM
14 years 3 months ago
2005
ACM
Biological data management includes the traditional areas of data generation, acquisition, modelling, integration, and analysis. Although numerous academic biological data managem...
LPAR
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. The ZETA system is a Z-based tool environment for developing formal specifications. It contains a component for executing the Z language based on the implementation techn...