9626 search results - page 367 / 1926 » Invariant Based Programming |
172
click to vote
EDUTAINMENT
2009
Springer
16 years 1 months ago
2009
Springer
This paper addresses the development of a computer game design and development curriculum at the authors’ institution. The basis for curriculum decisions, as well as comparison t...
171
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
—This paper studies the admission control and resource allocation in a cell-based wireless system that supports singlemedia and multirate services. Utilizing the idea of adaptive...
144
Voted
CP
2007
Springer
16 years 26 days ago
2007
Springer
LODE is a logic-based web tool for Italian deaf children. It aims at stimulating global reasoning on e-stories written in a verbal language. Presently, we are focusing on temporal ...
141
click to vote
ESWS
2007
Springer
16 years 26 days ago
2007
Springer
In this paper we propose an approach to semantic matchmaking that exploits various knowledge representation technologies to find most promising partners in peer-to-peer e-marketpl...
169
click to vote
PADL
2007
Springer
16 years 25 days ago
2007
Springer
Modern development environments integrate various static analyses into the build process. Analyses that analyze the whole project whenever the project changes are impractical in th...