Sciweavers

887 search results - page 102 / 178
» Representing Systems with Hidden State
Sort
View
FATES
2004
Springer
15 years 7 months ago
Test Generation Based on Symbolic Specifications
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
134
Voted
AIIDE
2007
15 years 6 months ago
Emotionally Driven Natural Language Generation for Personality Rich Characters in Interactive Games
Natural Language Generation for personality rich characters represents one of the important directions for believable agents research. The typical approach to interactive NLG is t...
Christina R. Strong, Manish Mehta, Kinshuk Mishra,...
FAST
2010
15 years 6 months ago
Discovery of Application Workloads from Network File Traces
An understanding of application I/O access patterns is useful in several situations. First, gaining insight into what applications are doing with their data at a semantic level he...
Neeraja J. Yadwadkar, Chiranjib Bhattacharyya, K. ...
135
Voted
LCR
1998
Springer
119views System Software» more  LCR 1998»
15 years 8 months ago
QoS Aspect Languages and Their Runtime Integration
Abstract. Distributedobject middleware, suchas CORBA, hides systemand network-speci c characteristics of objects behind functional interface speci cations. This simpli es developme...
Joseph P. Loyall, David E. Bakken, Richard E. Scha...
DAGSTUHL
2007
15 years 5 months ago
Model-Driven Development for End-Users, too!?
iary models in order to bridge the semantic gap between high-level, abstract user requirements and low-level, concrete programs and to support a stepwise refinement process. This d...
Gregor Engels