Sciweavers

8699 search results - page 171 / 1740
» Elements of the Theory of Computation
Sort
View
CHI
2006
ACM
16 years 2 days 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
15 years 1 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
15 years 6 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
15 years 3 months 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
15 years 3 months 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