10159 search results - page 205 / 2032 » System Design Validation Using Formal Models |
113
Voted
BMCBI
2006
15 years 2 months ago
2006
Background: The Tissue Microarray (TMA) facilitates high-throughput analysis of hundreds of tissue specimens simultaneously. However, bottlenecks in the storage and manipulation o...
122
Voted
FOIKS
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents a semantic foundation of temporal conceptual models used to design temporal information systems. We consider a modeling language able to express both timestampi...
131
Voted
ICRA
2009
IEEE
15 years 9 months ago
2009
IEEE
— Tendon-based transmission systems present many positive aspects and greatly simplify the mechanical design of small robotic devices, such as robotic fingers. On the other hand...
119
Voted
IJACTAICIT
2010
15 years 1 days ago
2010
Using multimodality in a computing system is advantageous in the sense that it makes computing more accessible to a wide range of users including those with impairments. Our work ...
118
Voted
EUC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Most of the new embedded systems require high performance processors at low power. To cater to these needs, most semiconductor companies are designing multi-core processo...