53390 search results - page 192 / 10678 » Computer Systems Analysis |
158
click to vote
ESOP
2007
Springer
16 years 16 days ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
173
click to vote
GROUP
2007
ACM
15 years 10 months ago
2007
ACM
Employees depend on other people in the enterprise for rapid access to important information. But current systems for finding experts do not adequately address the social implicat...
182
click to vote
ICDCS
1999
IEEE
15 years 10 months ago
1999
IEEE
There is growing interest in run-time detection as parallel and distributed systems grow larger and more complex. This work targets run-time analysis of complex, interactive scien...
145
click to vote
SCS
2001
15 years 7 months ago
2001
Integrated Modular Avionics (IMA) is the term used for a common computer network aboard an aircraft. In order to gain full benefit from this technology a strategy is required to a...
177
click to vote
CVPR
1998
IEEE
16 years 8 months ago
1998
IEEE
We develop a vision system for highly mobile autonomous agents that is capable of dynamic obstacle avoidance. We demonstrate the robust performance of the system in artificial ani...