1317 search results - page 69 / 264 » context 2005 |
SPC
2005
Springer
14 years 2 months ago
2005
Springer
In pervasive computing environments, changes in context may trigger changes in an individual’s access permissions. We contend that existing access control frameworks do not provi...
TACAS
2005
Springer
14 years 2 months ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
ASSETS
2005
ACM
13 years 10 months ago
2005
ACM
We propose an integrated approach to interactive word-completion for users with linguistic disabilities in which semantic knowledge combines with n-gram probabilities to predict s...
SIGSOFT
2005
ACM
14 years 9 months ago
2005
ACM
Charmy is a framework for designing and validating architectural specifications. In the early stages of the software development process, the Charmy framework assists the software...
CEC
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract- This paper proposes an evolutionary approach for the composition of solutions in an incremental way. The approach is based on the metaphor of transitions in complexity di...