1357 search results - page 154 / 272 » Controlling Access to Documents: A Formal Access Control Mod... |
177
click to vote
HICSS
2005
IEEE
15 years 12 months ago
2005
IEEE
In this paper we propose a conceptual model of virtual organizations as normative multiagent systems. The dynamic aspects of virtual organizations are modeled using aspects of spe...
154
click to vote
ECSCW
1997
15 years 7 months ago
1997
: Extending and reinterpreting earlier work on the 'Spatial Model', this paper presents a generic model for supporting awareness in cooperative systems ('the AETHER ...
162
click to vote
SIGCOMM
2009
ACM
16 years 24 days ago
2009
ACM
Business and economic considerations are driving the extensive use of service differentiation in Virtual Private Networks (VPNs) operated for business enterprises today. The resul...
173
click to vote
COMCOM
2006
15 years 6 months ago
2006
the extensibility and evolution of network services and protocols had become a major research issue in recent years. The 'programmable' and 'active' network par...
188
click to vote
MODELS
2010
Springer
15 years 4 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...