6014 search results - page 770 / 1203 » Parametric Analysis of Computer Systems |
171
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
FLAVERS is a finite-state verification approach that allows an analyst to incrementally add constraints to improve the precision of the model of the system being analyzed. Except ...
157
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Given the limitation of hearing and understanding speech for many individuals, we plan to supplement the sound of speech and speechreading with an additional informative visual in...
164
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we prove that the transitive closure of a nondeterministic octagonal relation using integer counters can be expressed in Presburger arithmetic. The direct c...
156
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— We present a motion planning scheme for ground vehicles operating in a partially known environment. Kinematic constraints stemming from vehicle dynamics and from the requiremen...
189
click to vote
P2P
2008
IEEE
16 years 1 months ago
2008
IEEE
In most DHTs proposed so far, all nodes are assumed to be homogeneous, and all messages are routed using a common algorithm. In practice, however, nodes in large-scale systems mig...