8838 search results - page 375 / 1768 » Generalizing Domain Theory |
248
click to vote
ICDE
1997
IEEE
16 years 8 months ago
1997
IEEE
The design of programsfor broadcastdisks which incorporatereal-time and fault-tolerance requirements is considered. A generalized model for real-time fault-tolerant broadcast disk...
147
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We present a general theory that exploits simulation relations on transition systems to obtain antichain algorithms for solving the reachability and repeated reachability...
167
click to vote
TEI
2010
ACM
16 years 1 months ago
2010
ACM
I present a card brainstorming exercise that transforms a conceptual tangible interaction framework into a tool for creative dialogue and discuss the experiences made in using it....
192
click to vote
TEI
2010
ACM
16 years 1 months ago
2010
ACM
This paper summarises the author’s PhD research on the representation and control of time in tangible user interfaces. The aim of the research is to create a theoretical framewo...
166
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...