4890 search results - page 654 / 978 » From system specifications to component behavioral models |
199
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...
164
Voted
CSREAEEE
2006
15 years 8 months ago
2006
Research was conducted in the area of sustainable knowledge extraction from e-business systems and technologies. Differentiating approaches from three notable authors in the field...
170
click to vote
RTSS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper focuses on priority assignment for realtime systems using fixed priority scheduling. It introduces and defines the concept of a “robust” priority ordering: the most...
169
click to vote
JCO
2006
15 years 6 months ago
2006
Computer systems are constantly under the threats of being attacked and in many cases these attacks succeed. Today's networked systems are thus built to be intrusion tolerant....
163
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper we present a system that uses only vision to land a UAV on a runway. We describe a method for estimating the relative location of the runway as an image by perfor...