1419 search results - page 222 / 284 » Notes on Formalizing Context |
133
click to vote
FMCO
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
105
click to vote
ICADL
2003
Springer
15 years 5 months ago
2003
Springer
: Metadata++ is a digital library system that we are developing to serve the needs of the United States Department of Agriculture Forest Service, the United States Department of th...
88
Voted
CSFW
2002
IEEE
15 years 5 months ago
2002
IEEE
We introduce a general framework for reasoning about secrecy requirements in multiagent systems. Because secrecy requirements are closely connected with the knowledge of individua...
103
click to vote
ICPPW
2002
IEEE
15 years 5 months ago
2002
IEEE
Incidents such as Solar Sunrise and Nimda demonstrate the need to expressively model distributed and complex network attacks. To protect information systems, system administrators...
114
click to vote
DEON
2010
Springer
15 years 5 months ago
2010
Springer
Compliance is often achieved ‘by design’ through a coherent system of controls consisting of information systems and procedures . This system-based control requires a new appro...