Sciweavers

3801 search results - page 363 / 761
» An Approach to Modeling Software Safety
Sort
View
SIGSOFT
2004
ACM
16 years 4 days ago
Resolving uncertainties during trace analysis
Software models provide independent perspectives onto software systems. Ideally, all models should use the same model element to describe the same part of a system. Practically, m...
Alexander Egyed
PERCOM
2004
ACM
16 years 6 months ago
Modelling and Using Imperfect Context Information
Most recently developed context-aware software applications make unrealistic assumptions about the quality of the available context information, which can lead to inappropriate ac...
Karen Henricksen, Jadwiga Indulska
ICST
2008
IEEE
16 years 1 months ago
Model-Based Tests for Access Control Policies
We present a model-based approach to testing access control requirements. By using combinatorial testing, we first automatically generate test cases from and without access contro...
Alexander Pretschner, Tejeddine Mouelhi, Yves Le T...
CSFW
2005
IEEE
16 years 10 days ago
Achieving Information Flow Security through Precise Control of Effects
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
William L. Harrison, James Hook
SELMAS
2005
Springer
16 years 6 days ago
Agent Roles, Qua Individuals and the Counting Problem
Despite the relevance of the concept of role for conceptual modeling and agent-orientation, there is still in the literature a lack of consensus on the meaning of this notion and h...
Giancarlo Guizzardi