1228 search results - page 131 / 246 » Techniques for Reactive System Design: The Tools in TRADE |
212
click to vote
TII
2008
15 years 6 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
128
click to vote
TEI
2010
ACM
16 years 1 months ago
2010
ACM
We describe an approach for a class of tangible interaction elements that are applicable across a broad variety of interactive systems. These tangibles share certain physical, vis...
232
click to vote
ACMIDC
2010
15 years 4 months ago
2010
Children with autism often experience substantial challenges in understanding, structuring, and predicting the activities in their daily lives. The use of symbols to represent a s...
173
click to vote
DILS
2005
Springer
15 years 12 months ago
2005
Springer
We have been developing a system for comparing multiple genomes, PLATCOM, where users can choose genomes of their choice freely and perform analysis of the selected genomes with a...
218
click to vote
VLSID
2005
IEEE
16 years 6 months ago
2005
IEEE
Abstract--Power analysis early in the design cycle is critical for the design of lowpower systems. With the move to system-level specifications and design methodologies, there has ...