Sciweavers

8512 search results - page 133 / 1703
» Computing Theory With Relevance
Sort
View
CHI
2006
ACM
14 years 8 months ago
Theory and method for experience centered design
There is currently much interest in notions of experience-centered design in Human-Computer Interaction (HCI). A great deal of the research and practice in this area is at the bou...
Mark Blythe, Peter C. Wright, John C. McCarthy, Ol...
ISTA
2008
13 years 9 months ago
Towards a Theory of Services
Abstract. Service-oriented Computing and Service-oriented Architectures aspire to better exploit existing middleware technologies. To this end, a more flexible, platform independen...
Wolfgang Reisig
ICCS
2009
Springer
14 years 2 months ago
System Consequence
My paper discusses system consequence, which is a central idea in the project to lift the theory of information flow to the general level of universal logic and the theory of ins...
Robert E. Kent
CONCUR
1998
Springer
14 years 16 days ago
Automata and Coinduction (An Exercise in Coalgebra)
The classical theory of deterministic automata is presented in terms of the notions of homomorphism and bisimulation, which are the cornerstones of the theory of universal coalgebr...
Jan J. M. M. Rutten
FSTTCS
1994
Springer
14 years 11 days ago
My Favorite Ten Complexity Theorems of the Past Decade
We review the past ten years in computational complexity theory by focusing on ten theorems that the author enjoyed the most. We use each of the theorems as a springboard to discus...
Lance Fortnow