3408 search results - page 643 / 682 » Logic, language, information and computation |
DIGRA
2003
Springer
14 years 26 days ago
2003
Springer
The social experience of multiplayer gaming is mediated by the communications tools that are available to use. Until recently, these have been largely text-based, but with the adv...
MOBICOM
1999
ACM
13 years 12 months ago
1999
ACM
The widespread deployment of inexpensive communications technology, computational resources in the networking infrastructure, and network-enabled end devices poses an interesting ...
EUROSYS
2007
ACM
13 years 11 months ago
2007
ACM
Recent research has found that operators frequently misconfigure Internet services, causing various availability and performance problems. In this paper, we propose a software inf...
FMCAD
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
AAAI
2000
13 years 9 months ago
2000
With the growth of on-line information, the need for better resource location services is growing rapidly. A popular goal is to conduct search in terms of concepts, rather than wo...