5477 search results - page 44 / 1096 » Contexts, Domains, and Software |
PERCOM
2004
ACM
14 years 9 months ago
2004
ACM
There is growing interest in the use of context-awareness as a technique for developing pervasive computing applications that are flexible, adaptable, and capable of acting autono...
POLICY
2005
Springer
14 years 3 months ago
2005
Springer
Policy rules define what behavior is desired in a softwarebased system, they do not describe the corresponding action and event sequences that actually “produce” desired (“...
DEXAW
2003
IEEE
14 years 3 months ago
2003
IEEE
The development of large software systems is a typical example for collaborative development efforts. Moreover, software development becomes more and more componentoriented. The s...
SPIN
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
COMPSAC
2010
IEEE
13 years 6 months ago
2010
IEEE
Security analysis methods can provide correct yet meaningless results if the assumptions underlying the model do not conform to reality. We present an approach to analyze the secur...