1837 search results - page 210 / 368 » Abstraction and the C Machine Model |
217
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 ...
182
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 ...
300
click to vote
ICRA
2003
IEEE
16 years 11 days 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...
205
Voted
TPHOL
2003
IEEE
16 years 11 days 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...
191
click to vote
CAISE
2003
Springer
16 years 9 days 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...