Sciweavers

5377 search results - page 568 / 1076
» Programming Languages For Interactive Computing
Sort
View
PUC
1998
101views more  PUC 1998»
15 years 6 months ago
Palmtop Programmable Appliance Controls
Palmtop PCs with infrared transceivers provide a userfriendly, intelligent, and extensible alternative to the remote controls traditionally used to control home appliances. We des...
Diomidis Spinellis
CHI
2005
ACM
16 years 7 months ago
A framework for building reality-based interfaces for wireless-grid applications
The pervasive adoption of wireless technologies is creating a growing demand for seamless interaction with wireless services. By sharing resources across devices such as PDA'...
Orit Shaer
IEEESCC
2006
IEEE
16 years 1 months ago
Secure and Provable Service Support for Human-Intensive Real-Estate Processes
This paper introduces SOAR, a service-oriented architecture for the real-estate industry that embeds trust and security, allows for formal correctness proofs of service interactio...
Emerson Ribeiro de Mello, Savas Parastatidis, Phil...
ICALP
2003
Springer
16 years 5 days ago
Oracle Circuits for Branching-Time Model Checking
A special class of oracle circuits with tree-vector form is introduced. It is shown that they can be evaluated in deterministic polynomial-time with a polylog number of adaptive qu...
Ph. Schnoebelen
WOA
2000
15 years 8 months ago
Mobile Applications in X-KLAIM
Networking has turned computers from isolated data processors into powerful communication and elaboration devices, called global computers; an illustrative example is the World
Lorenzo Bettini, Rocco De Nicola, Gian Luigi Ferra...