Sciweavers

10674 search results - page 1818 / 2135
» The Virtual Environment - Another Approach
Sort
View
CHI
2006
ACM
16 years 7 months ago
Getting a grip on tangible interaction: a framework on physical space and social interaction
Our current understanding of human interaction with hybrid or augmented environments is very limited. Here we focus on `tangible interaction', denoting systems that rely on e...
Eva Hornecker, Jacob Buur
161
Voted
CADE
2008
Springer
16 years 7 months ago
Proving Group Protocols Secure Against Eavesdroppers
Security protocols are small programs designed to ensure properties such as secrecy of messages or authentication of parties in a hostile environment. In this paper we investigate ...
Steve Kremer, Antoine Mercier 0002, Ralf Treinen
OSDI
2008
ACM
16 years 7 months ago
A Comparison of High-Level Full-System Power Models
Dynamic power management in enterprise environments requires an understanding of the relationship between resource utilization and system-level power consumption. Power models bas...
Suzanne Rivoire, Parthasarathy Ranganathan, Christ...
VLDB
2001
ACM
104views Database» more  VLDB 2001»
16 years 7 months ago
Global transaction support for workflow management systems: from formal specification to practical implementation
In this paper, we present an approach to global transactionmanagementinworkflowenvironments.Thetransaction mechanism is based on the well-known notion of compensation, but extended...
Paul W. P. J. Grefen, Jochem Vonk, Peter M. G. Ape...
SIGMOD
2009
ACM
117views Database» more  SIGMOD 2009»
16 years 7 months ago
FERRY: database-supported program execution
We demonstrate the language Ferry and its editing, compilation, and execution environment FerryDeck. Ferry's type system and operations match those of scripting or programmin...
Torsten Grust, Manuel Mayr, Jan Rittinger, Tom Sch...
« Prev « First page 1818 / 2135 Last » Next »