1837 search results - page 210 / 368 » Abstraction and the C Machine Model |
193
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...
163
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
MundoCore is a communication middleware specifically designed for the requirements of pervasive computing. To address the high degree of heterogeneity of platforms and networking ...
274
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract— This paper considers the localizaton and navigation of a mobile robot. The control strategy is based on a nonlinear model predictive control technique that utilizes the...
187
click to vote
TPHOL
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract. A second-level security protocol is deï¬ned as a security protocol that relies on an underlying security protocol in order to achieve its goals. The veriï¬cation of cla...
176
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We present a web-publishing platform that was developed by integrating key constructs and operations for web content delivery into the core of an object-oriented database...