10285 search results - page 1796 / 2057 » Composing Feature Models |
155
click to vote
MOBICOM
2006
ACM
16 years 17 days ago
2006
ACM
AUSNet is a functional network of autonomous undersea vehicles. We present two novel algorithms to enhance AUSNet. In live inwater testing, a packet queueing problem in which stal...
191
click to vote
PLDI
2006
ACM
16 years 17 days 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...
182
click to vote
PPPJ
2006
ACM
16 years 17 days 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...
182
click to vote
SAC
2006
ACM
16 years 17 days 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...
175
Voted
VALUETOOLS
2006
ACM
16 years 17 days 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...