6614 search results - page 93 / 1323 » Semantics of Information as Interactive Computation |
ESOP
2009
Springer
15 years 4 months ago
2009
Springer
The operational semantics of interactive systems is usually d by labeled transition systems. Abstract semantics is defined in terms of bisimilarity that, in the finite case, can ...
SRDS
2010
IEEE
14 years 7 months ago
2010
IEEE
Cloud computing allows the use of Internet-based services to support business processes and rental of IT-services on a utility-like basis. It offers a concentration of resources bu...
ICCHP
2004
Springer
15 years 3 months ago
2004
Springer
David tries not to use unfamiliar trains and buses, he doesn’t travel to places he doesn’t know, and he doesn’t travel in unusual environments without a companion. David is v...
INTERACT
2003
14 years 11 months ago
2003
: For millions of people, text-based computer-mediated communication (CMC) is a convenient and engaging way to exchange information and opinion. Research shows that the social ambi...
ICLP
1995
Springer
15 years 1 months ago
1995
Springer
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...