13985 search results - page 2550 / 2797 » Active Feature Models |
147
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
142
click to vote
PPPJ
2006
ACM
15 years 10 months ago
2006
ACM
The development of a tool for reconstructing UML sequence diagrams from executing Java programs is a challenging task. We implemented such a tool designed to analyze any kind of J...
137
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we describe the design and implementation of a tuple-based distributed memory realized with the use of RFID technology. The key idea – rooted in a more general sc...
139
click to vote
VALUETOOLS
2006
ACM
15 years 10 months ago
2006
ACM
We examine the stability of multi-class queueing systems with the special feature that the service rates of the various classes depend on the number of users present of each of th...
159
click to vote
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
Road sign identification in images is an important issue, in particular for vehicle safety applications. It is usually tackled in three stages: detection, recognition and trackin...