Sciweavers

1103 search results - page 115 / 221
» The Visula programming language and environment
Sort
View
MBUI
2004
104views User Interface» more  MBUI 2004»
15 years 5 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 4 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 2 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
148
Voted
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
ALIFE
2011
14 years 7 months ago
Interactive Evolution of Camouflage
This paper presents an abstract computation model of the evolution of camouflage in nature. The 2d model uses evolved textures for prey, a background texture representing the envi...
Craig Reynolds