913 search results - page 93 / 183 » Full Abstraction for Linda |
149
click to vote
FM
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
164
click to vote
FMCAD
2009
Springer
16 years 26 days ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
153
click to vote
IVA
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. Virtual humans are employed in many interactive applications, including (serious) games. Their motion should be natural and allow interaction with its surroundings and ot...
159
click to vote
TLCA
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...
159
click to vote
CDC
2008
IEEE
16 years 23 days ago
2008
IEEE
Abstract— This paper presents a novel application of the twotime scale controller for the full envelop flight control of a Rotary wing Unmanned Aerial Vehicle (RUAV). In this pa...