1112 search results - page 132 / 223 » Executing Abstract Test Cases |
123
click to vote
ESORICS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a framework for modeling adversaries in security protocol analysis, ranging from a Dolev-Yao style adversary to more powerful adversaries who can reveal differ...
123
click to vote
ISCA
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper introduces the Simulation Architecture Description Language (SADL) developed at the National Aeronautics and Space Administration's Marshall Space Flight Center to...
103
click to vote
PERCOM
2010
ACM
15 years 1 months ago
2010
ACM
Abstract—Pervasive applications are characterized by variations in their context of execution. Their correct behavior requires continuous adaptations, accordingly to changes obse...
140
click to vote
FIW
2009
15 years 24 days ago
2009
Abstract. This paper presents an online detection and resolution method for feature interactions among integrated services in home network systems. To achieve reasonable online det...
142
click to vote
FASE
2006
Springer
15 years 6 months ago
2006
Springer
One of the major costs of software development is associated with testing and validation of successive versions of software systems. An important problem encountered in testing and...