Sciweavers

25 search results - page 4 / 5
» Formalising Graphical Behaviour Descriptions
Sort
View
ICIDS
2010
Springer
13 years 6 months ago
Crowd-Sourced AI Authoring with ENIGMA
Abstract. ENIGMA is an experimental platform for collaborative authoring of the behaviour of autonomous virtual characters in interactive narrative applications. The main objective...
Michael Kriegel, Ruth Aylett
AMAST
2000
Springer
14 years 6 days ago
Distance Functions for Defaults in Reactive Systems
Default reasoning has become an important topic in software engineering. In particular, defaults can be used to revise speci cations, to enhance reusability of existing systems, an...
Sofia Guerra
FIW
2003
13 years 9 months ago
Representing New Voice Services and Their Features
New voice services are investigated in the fields of Internet telephony (SIP – Session Initiation Protocol) and interactive voice systems (VoiceXML – Voice Extended Markup La...
Kenneth J. Turner
FASE
2007
Springer
14 years 2 months ago
Activity-Driven Synthesis of State Machines
The synthesis of object behaviour from scenarios is a well-known and important issue in the transition from system analysis to system design. We describe a model transformation pro...
Rolf Hennicker, Alexander Knapp
RE
2004
Springer
14 years 1 months ago
Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation
Scenarios and goals are effective and popular techniques for requirements definition. Validation is essential in order to ensure that they represent what stakeholders actually wan...
Sebastián Uchitel, Robert Chatley, Jeff Kra...