Sciweavers

1805 search results - page 217 / 361
» File System Interfaces for Embedded Software Development
Sort
View
FASE
2004
Springer
15 years 6 months ago
An Operational Semantics for Stateflow
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of...
Grégoire Hamon, John M. Rushby
127
Voted
CHI
2008
ACM
16 years 3 months ago
Design, adoption, and assessment of a socio-technical environment supporting independence for persons with cognitive disabilitie
A significant fraction of persons with cognitive disabilities are potentially able to live more independently with the use of powerful tools embedded in their social environment. ...
Stefan Carmien, Gerhard Fischer
135
Voted
AVI
2004
15 years 4 months ago
Visualizing programs with Jeliot 3
We present a program visualization tool called Jeliot 3 that is designed to aid novice students to learn procedural and object oriented programming. The key feature of Jeliot is t...
Andrés Moreno, Niko Myller, Erkki Sutinen, ...
ERLANG
2007
ACM
15 years 6 months ago
An Erlang framework for autonomous mobile robots
This paper presents an Erlang-based framework, developed by the authors, for the realisation of software systems for autonomous mobile robots. On the basis of the analysis of the ...
Corrado Santoro
153
Voted
CODES
2005
IEEE
15 years 8 months ago
Enhancing security through hardware-assisted run-time validation of program data properties
The growing number of information security breaches in electronic and computing systems calls for new design paradigms that consider security as a primary design objective. This i...
Divya Arora, Anand Raghunathan, Srivaths Ravi, Nir...