Sciweavers

10773 search results - page 152 / 2155
» Ambient Computational Environments
Sort
View
ENTCS
2008
102views more  ENTCS 2008»
15 years 6 months ago
Encoding Distributed Process Calculi into LMNtal
Towards a unifying model of concurrency, we have designed and implemented LMNtal (pronounced "elemental"), a model and language based on hierarchical graph rewriting tha...
Kazunori Ueda
ENTCS
2007
86views more  ENTCS 2007»
15 years 6 months ago
On the Non-sequential Nature of Domain Models of Real-number Computation
Escard´o, Hofmann and Streicher showed that real-number computations in the interval-domain environment are inherently parallel, in the sense that they imply the presence of weak...
Thomas Anberrée
SIGCSE
2002
ACM
135views Education» more  SIGCSE 2002»
15 years 6 months ago
Introducing computer science through animation and virtual worlds
We describe a course for non-majors that teaches computer science concepts and programming by creating simple animations and building 2D and 3D virtual worlds. Students work with ...
Susan H. Rodger
ITICSE
2000
ACM
15 years 10 months ago
Student well-being in a computing department
We describe a project exploring the relationships between factors in the learning environment, student well-being and learning outcomes, in the context of a Computing department. ...
J. R. Davy, K. Audin, M. Barkham, C. Joyner
PERCOM
2008
ACM
16 years 6 months ago
High-level Programming Support for Robust Pervasive Computing Applications
In this paper, we present a domain-specific Interface Definition Language (IDL) and its compiler, dedicated to the development of pervasive computing applications. Our IDL provide...
Wilfried Jouve, Julien Lancia, Nicolas Palix, Char...