10568 search results - page 1853 / 2114 » Computer Intelligence and Formalization |
259
click to vote
SIGECOM
2005
ACM
16 years 23 days ago
2005
ACM
This paper concerns the design of mechanisms for online scheduling in which agents bid for access to a re-usable resource such as processor time or wireless network access. Each a...
219
click to vote
W4A
2005
ACM
16 years 23 days ago
2005
ACM
The need for providing learners with web-based learning content that match their accessibility needs and preferences, as well as providing ways to match learning content to userâ€...
247
click to vote
CONCUR
2005
Springer
16 years 23 days ago
2005
Springer
d Abstract) Vijay Saraswat1 and Radha Jagadeesan2 1 IBM T.J. Watson Research Lab 2 School of CTI, DePaul University Abstract. We present the concurrency and distribution primitives...
257
click to vote
DIGRA
2005
Springer
16 years 23 days ago
2005
Springer
This paper is an addition to the discourse surrounding interface theory and pervasive games. A buzzword by nature, the term ´interface´ needs to be investigated and redefined in...
264
click to vote
ESOP
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...