6614 search results - page 93 / 1323 » Semantics of Information as Interactive Computation |
138
click to vote
ESOP
2009
Springer
16 years 1 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 ...
194
click to vote
SRDS
2010
IEEE
15 years 4 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...
167
click to vote
ICCHP
2004
Springer
15 years 11 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...
195
click to vote
INTERACT
2003
15 years 7 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...
177
click to vote
ICLP
1995
Springer
15 years 10 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...