1636 search results - page 192 / 328 » InfoPad - An Experiment in System Level Design and Integrati... |
200
click to vote
ICFEM
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
190
click to vote
CASES
2009
ACM
15 years 11 months ago
2009
ACM
Nanowire crossbar circuits are an emerging architectural paradigm that promises a higher integration density and an improved fault-tolerance due to its reconfigurability. In this...
171
Voted
CIDR
2007
15 years 8 months ago
2007
We argue that designing a system that “guarantees” the privacy of its information may not be enough. One must also consider the price for providing that protection: For exampl...
207
click to vote
AIED
2005
Springer
16 years 17 days ago
2005
Springer
Intelligent Tutoring Systems are notoriously costly to construct [1], and require PhD level experience in cognitive science and rule based programming. The goal of this research wa...
166
Voted
ISLPED
2009
ACM
16 years 1 months ago
2009
ACM
In an interactive embedded system, special task execution patterns and scheduling constraints exist due to frequent human-computer interactions. This paper proposes a transaction-...