Sciweavers

2542 search results - page 5 / 509
» An Operational Definition of Context
Sort
View
ASE
2010
82views more  ASE 2010»
13 years 10 months ago
Operational definition and automated inference of test-driven development with Zorro
Hongbing Kou, Philip M. Johnson, Hakan Erdogmus
GRID
2006
Springer
13 years 9 months ago
Streamlining Grid Operations: Definition and Deployment of a Portal-based User Registration Service
Manual management of public key credentials can be a significant and often off-putting obstacle to Grid use, particularly for casual users. We describe the Portal-based User Regis...
Ian T. Foster, Veronika Nefedova, Mehran Ahsant, R...
MODELS
2009
Springer
14 years 4 months ago
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
Philippe Dhaussy, Pierre Yves Pillain, Stephen Cre...
SACMAT
2003
ACM
14 years 3 months ago
An approach to engineer and enforce context constraints in an RBAC environment
This paper presents an approach that uses special purpose RBAC constraints to base certain access control decisions on context information. In our approach a context constraint is...
Gustaf Neumann, Mark Strembeck