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
131
Voted
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
137
Voted
APAL
2008
104views more  APAL 2008»
15 years 2 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
166
Voted
PROCEDIA
2010
281views more  PROCEDIA 2010»
15 years 29 days 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
137
Voted
MASS
2010
110views Communications» more  MASS 2010»
15 years 14 days 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