128 search results - page 23 / 26 » Reactive Objects |
101
click to vote
TON
2008
14 years 11 months ago
2008
Differentiated services architectures are scalable solutions for providing class-based Quality of Service (QoS) over packet switched networks. While qualitative attributes of the o...
102
click to vote
UTP
2010
14 years 10 months ago
2010
In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we explain how we have developed an Isabelle/HOL theo...
110
click to vote
ICRA
2010
IEEE
2010
IEEE
Autonomous flight at low altitude with vision-based collision avoidance and GPS-based path following
14 years 9 months ago
The ability to fly at low altitude while actively avoiding collisions with the terrain and other objects is a great challenge for small unmanned aircraft. This paper builds on top ...
EJWCN
2010
14 years 6 months ago
2010
Multi-hop communication objectives and constraints impose a set of challenging requirements that create difficult conditions for simultaneous optimization of features such as scala...
FSTTCS
2005
Springer
15 years 5 months ago
2005
Springer
Much recent research has focused on the applications of games with ω-regular objectives in the control and verification of reactive systems. However, many of the game-based model...