10038 search results - page 1675 / 2008 » Model Checking for Managers |
255
click to vote
CAISE
2003
Springer
16 years 22 days 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...
184
click to vote
ICICS
2003
Springer
16 years 21 days 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...
233
click to vote
APSCC
2009
IEEE
16 years 18 days 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...
170
Voted
DSN
2002
IEEE
16 years 14 days 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...
253
Voted
MM
2009
ACM
16 years 5 days 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...