5015 search results - page 466 / 1003 » Model Checking a Path |
165
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
—This paper presents a mathematical framework for resource reservation in TCP/IP networks by invoking a dynamic system viewpoint on the congestion monitoring processes occurring ...
193
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper, a visual servoing scheme is proposed to control an airplane during its landing. A linearized model of the airplane dynamics and decoupled visual features are use...
142
click to vote
ICWE
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Current data-intensive Web applications, such as on-line trading, ecommerce, corporate portals and so on, are becoming more and more complex, both in terms of density of ...
177
click to vote
VLSI
2005
Springer
16 years 8 days ago
2005
Springer
Quasi delay insensitive circuits are functionally independent of delays in gates and wires (except for some particular wires). Such asynchronous circuits offer high robustness but...
195
click to vote
MICCAI
2004
Springer
16 years 5 days ago
2004
Springer
Flexible needle insertion into viscoelastic tissue is modeled in this paper with a linear beam supported by virtual springs. Using this simplified model, the forward and inverse ki...