3979 search results - page 420 / 796 » Wild control operators |
268
Voted
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
Regression testing is an important software maintenance activity to ensure the integrity of a software after modification. However, most methods and tools developed for software te...
172
Voted
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
171
Voted
PERCOM
2003
ACM
16 years 6 months ago
2003
ACM
Many mobile applications can be greatly enhanced when provided with the locations of people and devices. Ultrasonic location systems have been shown to supply location information...
184
Voted
VEE
2010
ACM
16 years 1 months ago
2010
ACM
Not all operating systems are created equal. Contrasting traditional monolithic kernels, there is a class of systems called microkernels more prevalent in embedded systems like ce...
164
Voted
SAC
2010
ACM
16 years 1 months ago
2010
ACM
KAOS is a goal directed requirements engineering framework based on the decomposition and refinement of goals. Decomposition and refinement continue until a point is reached at ...