Sciweavers

1152 search results - page 160 / 231
» The Scratch Programming Language and Environment
Sort
View
DAGSTUHL
2008
15 years 4 months ago
Mathematica Connectivity to Interval Libraries filib++ and C-XSC
Abstract. Building interval software interoperability can be a good solution when re-using high-quality legacy code or when accessing functionalities unavailable natively in one of...
Evgenija D. Popova
MBUI
2004
104views User Interface» more  MBUI 2004»
15 years 4 months ago
An EUD Approach for Making MBUI Practical
In this paper, we present our perspective on Model-Based User Interfaces (hereafter MBUI) paradigm and provide with our experience in this area combining high-level knowledge-base...
José A. Macías, Pablo Castells
APAL
2008
104views more  APAL 2008»
15 years 3 months ago
Infinite trace equivalence
We solve a longstanding problem by providing a denotational model for nondeterministic programs that identifies two programs iff they have the same range of possible behaviours. W...
Paul Blain Levy
PROCEDIA
2010
281views more  PROCEDIA 2010»
15 years 1 months ago
Introductory computational science using MATLAB and image processing
We describe a new course designed to introduce engineering students to computational thinking. One of the most significant challenges in teaching an introductory-level applied co...
D. Brian Larkins, William Harvey
MASS
2010
110views Communications» more  MASS 2010»
15 years 1 months ago
SpartanRPC: Secure WSN middleware for cooperating domains
In this paper we describe SpartanRPC, a secure middleware technology for wireless sensor network (WSN) applications supporting cooperation between distinct protection domains. The ...
Peter C. Chapin, Christian Skalka