Sciweavers

387 search results - page 49 / 78
» On the design of a Java computer algebra system
Sort
View
EDUTAINMENT
2007
Springer
14 years 3 months ago
Using Metaphors in Game-Based Education
In spite of its growing popularity, due to a huge technical evolution in the last years and to the fact that new generations are more literate in games than in books, game-based te...
Pedro Pablo Gómez-Martín, Marco Anto...
LADC
2005
Springer
14 years 2 months ago
Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension
In this paper we present NekoStat, an extension of the Neko tool. Neko is a Java framework and a communication platform that permits rapid prototyping of distributed applications; ...
Lorenzo Falai, Andrea Bondavalli, Felicita Di Gian...
DAS
2008
Springer
13 years 10 months ago
MathBrush: A System for Doing Math on Pen-Based Devices
Many on-line (interactive) mathematics recognition systems allow the creation of typeset equations, normally in LaTeX, but they do not support mathematical problem solving. In thi...
George Labahn, Edward Lank, Scott MacLean, Mirette...
SQJ
2002
106views more  SQJ 2002»
13 years 8 months ago
Energy Metric for Software Systems
Acknowledging the intense requirement for low power operation in most portable computing systems, this paper introduces the notion of energy efficient software design and proposes ...
Alexander Chatzigeorgiou, George Stephanides
CONCUR
2001
Springer
14 years 1 months ago
Compositional Modeling of Reactive Systems Using Open Nets
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Rei...