4350 search results - page 32 / 870 » Case studies for contract-based systems |
115
Voted
ACSW
2004
15 years 5 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...
136
Voted
IWPC
1998
IEEE
15 years 7 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...
124
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Of the ways in which agent behaviour can be regulated in a multiagent system, electronic contracting
134
Voted
VLDB
2005
ACM
15 years 9 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...
131
Voted
LPAR
2000
Springer
15 years 7 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...