6355 search results - page 881 / 1271 » From Logic to Games |
212
click to vote
FOSSACS
2005
Springer
16 years 13 days ago
2005
Springer
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...
178
click to vote
VSTTE
2005
Springer
16 years 11 days ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
201
click to vote
PODC
2004
ACM
16 years 9 days ago
2004
ACM
We introduce the distributed gradient clock synchronization problem. As in traditional distributed clock synchronization, we consider a network of nodes equipped with hardware clo...
269
click to vote
PSSE
2004
Springer
16 years 7 days ago
2004
Springer
“demonic” nondeterminism, representing abstraction from (or ignorance of) which of two program fragments will be executed. By introducing probabilistic nondeterminism into GCL,...
210
click to vote
HICSS
2002
IEEE
15 years 12 months ago
2002
IEEE
Traditional Web-based educational systems still have several shortcomings when comparing with a real-life classroom teaching, such as lack of contextual and adaptive support, lack...