Sciweavers

14084 search results - page 293 / 2817
» A Theory for Game Theories
Sort
View
CHI
2005
ACM
16 years 7 months ago
Awareness systems: known results, theory, concepts and future challenges
The Community Bar is a groupware tool supporting informal awareness and casual interaction for small communities of intimate collaborators. Its conceptual design is primarily base...
Panos Markopoulos, Boris E. R. de Ruyter, Wendy E....
CADE
2006
Springer
16 years 7 months ago
Tree Automata with Equality Constraints Modulo Equational Theories
This paper presents new classes of tree automata combining automata with equality test and automata modulo equational theories. We believe that these classes have a good potential ...
Florent Jacquemard, Laurent Vigneron, Michaël...
SIGMOD
2003
ACM
112views Database» more  SIGMOD 2003»
16 years 6 months ago
A Theory of Redo Recovery
Our goal is to understand redo recovery. We define an installation graph of operations in an execution, an ordering significantly weaker than conflict ordering from concurrency co...
David B. Lomet, Mark R. Tuttle
ICSE
2003
IEEE-ACM
16 years 6 months ago
Separation in Theory - Coordination in Practice
The lack of a common language and mutual understanding between the disciplines of systems development/software engineering and HCI does create challenges for both teaching and pra...
Torkil Clemmensen, Jacob Nørbjerg
SOFSEM
2010
Springer
16 years 3 months ago
Clock Synchronization: Open Problems in Theory and Practice
Clock synchronization is one of the most basic building blocks for many applications in computer science and engineering. The purpose of clock synchronization is to provide the con...
Christoph Lenzen, Thomas Locher, Philipp Sommer, R...