2086 search results - page 78 / 418 » Mathematical Theory Exploration |
TASE
2009
IEEE
14 years 4 months ago
2009
IEEE
We explore the interactions between programvariable state visibility and communication behaviour in state-rich CSP-like processes, using the Unifying Theories of Programming (UTP)...
MMS
2006
13 years 9 months ago
2006
Abstract In this paper we describe a form of communication that could be used for lifelong learning as contribution to cultural computing. We call it Kansei Mediation. It is a mult...
ECSCW
2011
12 years 9 months ago
2011
There are many theories useful for framing CSCW research and they may in principle be irreducible to a single theory. CSCW research explores questions involving numerous distinct...
CHI
2006
ACM
14 years 10 months ago
2006
ACM
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...
FROCOS
2009
Springer
14 years 4 months ago
2009
Springer
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...