1914 search results - page 380 / 383 » Abstract lambda-Calculus Machines |
INTERNET
2010
13 years 6 months ago
2010
abstractions, concepts, and actions that characterize human experiences. This will herald computing for human experience (CHE). The CHE vision is built on a suite of technologies t...
KI
2010
Springer
13 years 6 months ago
2010
Springer
ut spatial environments, be it real or abstract, human or machine. Research issues range from human spatial cognition to mobile robot navigation. Numerous results have been obtaine...
PVM
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Designing and tuning parallel applications with MPI, particularly at large scale, requires understanding the performance implications of different choices of algorithms ...
RTAS
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract—Wireless sensor networks are evolving from dedicated application-specific platforms to integrated infrastructure shared by multiple applications. Shared sensor networks...
RV
2010
Springer
13 years 6 months ago
2010
Springer
This tutorial deals with runtime enforcement which is an extension of runtime verification aiming to circumvent misbehaviors of systems. After an historical overview of previous a...