788 search results - page 144 / 158 » Design and use of a system-level specification and verificat... |
155
click to vote
ATAL
2007
Springer
16 years 10 days ago
2007
Springer
Most Interactive Storytelling systems developed to date have followed a task-based approach to story representation, using planning techniques to drive the story by generating a s...
145
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
This paper presents the design and user evaluation of SmartBack, a feature that complements the standard Back button by enabling users to jump directly to key pages in their navig...
201
click to vote
AMOST
2007
ACM
15 years 10 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
221
click to vote
ANCS
2010
ACM
15 years 3 months ago
2010
ACM
As we move forward towards the next generation of wireless protocols, the push for a better radio physical layer is ever increasing. Conventional radio architectures are limited t...
134
click to vote
EKAW
2000
Springer
15 years 9 months ago
2000
Springer
An electronic business model is an important baseline for the development of e-commerce system applications. Essentially, it provides the design rationale for e-commerce systems fr...