Sciweavers

7047 search results - page 302 / 1410
» Focusing on Binding and Computation
Sort
View
HYBRID
2010
Springer
16 years 1 months ago
Amir Pnueli and the dawn of hybrid systems
In this talk I present my own perspective on the beginning (I refer mostly to the period 1988-1998) of hybrid systems research at the computer science side, focusing on the contri...
Oded Maler
LICS
2009
IEEE
16 years 1 months ago
Applications of Game Semantics: From Program Analysis to Hardware Synthesis
After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in pa...
Dan R. Ghica
UM
2007
Springer
16 years 23 days ago
Mobile Opportunistic Planning: Methods and Models
Abstract. We present a study exploring the promise of developing computational systems to support the discovery and execution of opportunistic activities in mobile settings. We int...
Eric Horvitz, Paul Koch, Muru Subramani
ISVC
2005
Springer
16 years 5 days ago
Distributed Multi-camera Surveillance for Aircraft Servicing Operations
This paper presents the visual surveillance aspects of a distributed intelligent system that has been developed in the context of aircraft activity monitoring. The overall trackin...
David Thirde, Mark Borg, James M. Ferryman, Josep ...
MIDDLEWARE
2005
Springer
16 years 5 days ago
Service-oriented device communications using the devices profile for web services
This paper outlines the benefits of adopting serviceoriented architectures at the level of communications between resource-constrained embedded devices, in particular for industri...
François Jammes, Antoine Mensch, Harm Smit