7766 search results - page 1084 / 1554 » Testing Nondeterminate Systems |
161
click to vote
ICECCS
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper presents the Architecture Tradeoff Analysis Method (ATAM), a structured technique for understanding the tradeoffs inherent in design. This method was developed to provi...
158
click to vote
LCTRTS
1999
Springer
15 years 9 months ago
1999
Springer
Code space is a critical issue facing designers of software for embedded systems. Many traditional compiler optimizations are designed to reduce the execution time of compiled cod...
153
click to vote
AAAI
2007
15 years 7 months ago
2007
The long-term goal of Project Halo is to build an application called Digital Aristotle that can answer questions on a variety of science topics and provide user and domain appropr...
124
click to vote
USS
2008
15 years 7 months ago
2008
The notion of blacklisting communication sources has been a well-established defensive measure since the origins of the Internet community. In particular, the practice of compilin...
153
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
Persistent Embodied Conversational Agents (ECA) can be used to assist users in their daily activities. We introduce the Health and Fitness Companion (HFC), which is a conversation...