10038 search results - page 1675 / 2008 » Model Checking for Managers |
230
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents a requirements engineering framework based on the notions of Actor, Goal, and Intentional Dependency, and applies it to a case study in the field of Informatio...
157
click to vote
ICICS
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents a policy-based framework for managing access control in distributed heterogeneous systems. This framework is based on the PDP/PEP approach. The PDP (Policy Deci...
204
click to vote
APSCC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Service creation by composing existing services and/or network resources is considered by Telecom and Internet industries as the trend for service provisioning in Next Generati...
143
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
The NASA Remote Exploration and Experimentation (REE) Project, managed by the Jet Propulsion Laboratory, has the vision of bringing commercial supercomputing technology into space...
226
Voted
MM
2009
ACM
15 years 11 months ago
2009
ACM
Photo community sites such as Flickr and Picasa Web Album host a massive amount of personal photos with millions of new photos uploaded every month. These photos constitute an ove...