3623 search results - page 582 / 725 » Functionally Modeled User Interfaces |
136
click to vote
LCTRTS
1999
Springer
15 years 7 months ago
1999
Springer
We present a design tool for automated synthesis of embedded systems on distributed COTS-based platforms. Our synthesis tool consists of (1) a graphical user interface for input o...
138
click to vote
EUROPAR
2007
Springer
15 years 7 months ago
2007
Springer
To understand the principles of information processing in the brain, we depend on models with more than 105 neurons and 109 connections. These networks can be described as graphs o...
141
click to vote
CSFW
2004
IEEE
15 years 7 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
111
click to vote
EUROMICRO
2004
IEEE
15 years 7 months ago
2004
IEEE
In traditional web application development, very few libraries exist to make portal development easy. In general, many homegrown and vertical solutions exist and very little code ...
126
click to vote
ITS
2000
Springer
15 years 6 months ago
2000
Springer
DT Tutor uses a decision-theoretic approach to select tutorial actions for coached problem solving that are optimal given the tutor's beliefs and objectives. It employs a mode...