6355 search results - page 123 / 1271 » From Logic to Games |
153
click to vote
CE
2007
15 years 6 months ago
2007
This paper argues that the internet is built around key technology design features of openness, robustness and decentralisation. These design features have transformed into social...
JFP
1998
15 years 6 months ago
1998
178
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Middleware technologies often limit the way in which object classes may be used in distributed applications due to the fixed distribution policies that they impose. These policies...
150
click to vote
BIRTHDAY
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We present a new proof of axiomatic completeness for Proposition Temporal Logic (PTL) for discrete, linear time for both finite and infinite time (without past-time). T...