922 search results - page 39 / 185 » Controllability and Observability of Second Order Descriptor... |
SIGADA
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
IM
2007
14 years 9 months ago
2007
We present a peer-to-peer service management middleware that dynamically allocates system resources to a large set of applications. The system achieves scalability in number of no...
126
Voted
HYBRID
2010
Springer
14 years 11 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
76
Voted
SIGGRAPH
1997
ACM
15 years 1 months ago
1997
ACM
The InfiniteRealityTM graphics system is the first general-purpose workstation system specifically designed to deliver 60Hz steady frame rate high-quality rendering of complex sce...
65
Voted
TSMC
2002
14 years 9 months ago
2002
This paper describes the dynamic control of a 3 degree of freedom (DOF) finger emulating a human finger for reaching a desired fingertip position in space. The control consists of ...