Sciweavers

1456 search results - page 54 / 292
» DYANA: An Environment for Embedded System Design and Analysi...
Sort
View
JTRES
2010
ACM
15 years 6 months ago
Static checking of safety critical Java annotations
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
Daniel Tang, Ales Plsek, Jan Vitek
CVRMED
1997
Springer
15 years 10 months ago
Design considerations for a computer-vision-enabled ophthalmic augmented reality environment
We have initiated studies towards the design and implementation of an ophthalmic augmented reality environment in order to allow for a more precise laser treatment for ophthalmic...
Jeffrey W. Berger, Michael E. Leventon, Nobuhiko H...
JCAL
2002
72views more  JCAL 2002»
15 years 6 months ago
The effect of questioning on concept learning within a hypertext system
Two studies report upon the effect of asking learners to answer questions when learning in a hypertext environment, even when no immediate feedback is given to learners about the a...
P. A. Howard-Jones, R. J. Martin
HCI
2007
15 years 7 months ago
Measuring User Experiences of Prototypical Autonomous Products in a Simulated Home Environment
Advances in sensor technology, embedded processing power, and modeling and reasoning software, have created the possibility for everyday products to sense the environment and pro-a...
Martijn H. Vastenburg, David V. Keyson, Huib de Ri...
DSD
2010
IEEE
221views Hardware» more  DSD 2010»
15 years 4 months ago
Modeling Reconfigurable Systems-on-Chips with UML MARTE Profile: An Exploratory Analysis
Reconfigurable FPGA based Systems-on-Chip (SoC) architectures are increasingly becoming the preferred solution for implementing modern embedded systems, due to their flexible natur...
Sana Cherif, Imran Rafiq Quadri, Samy Meftali, Jea...