2605 search results - page 374 / 521 » The many levels of CSCL |
158
click to vote
COCOON
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Phylogenetic reconstruction from gene-rearrangement data is attracting increasing attention from biologists and computer scientists. Methods used in reconstruction includ...
229
click to vote
ESOP
2005
Springer
15 years 12 months 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 ...
211
click to vote
PPAM
2005
Springer
15 years 12 months ago
2005
Springer
The ARTiS system, a real-time extension of the GNU/Linux scheduler dedicated to SMP (Symmetric Multi-Processors) systems is proposed. ARTiS exploits the SMP architecture to guarant...
224
click to vote
SIGMETRICS
2004
ACM
15 years 12 months ago
2004
ACM
The use of environmental energy is now emerging as a feasible energy source for embedded and wireless computing systems such as sensor networks where manual recharging or replacem...
172
click to vote
VRCAI
2004
ACM
15 years 12 months ago
2004
ACM
Despite steady research advances in many aspects of virtual reality, building and testing virtual worlds remains to be a very difficult process. Most virtual environments are stil...