5180 search results - page 376 / 1036 » Concurrency, Time, and Constraints |
196
click to vote
ICFEM
2003
Springer
16 years 2 days ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
178
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract—Many applications require continuous monitoring of a moving target by a controllable vision system. Although the goal of tracking objects is not new, traditional techniq...
169
click to vote
EPIA
2001
Springer
15 years 11 months ago
2001
Springer
Dealing with temporality on actions presents an important challenge to AI planning. Unlike Graphplan-based planners which alternate levels of propositions and actions in a regular ...
197
click to vote
LCTRTS
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents an end-to-end synthesis technique for lowpower distributed real-time system design. This technique synthesizes supply voltages of resources to optimize system-...
174
click to vote
HICSS
1998
IEEE
15 years 11 months ago
1998
IEEE
A review of the various models of New Product Development (NPD) process shows that although different approaches have been proposed, they are in fact all variants on a linear them...