Sciweavers

998 search results - page 127 / 200
» Using Design Patterns for Refactoring Real-World Models
Sort
View
129
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
From programming to modeling: our experience with a distributed software engineering course
Distributed Software Engineering (DSE) concepts in Computer Science (or Engineering) Degrees are commonly introduced using a hands-on approach mainly consisting of teaching a part...
Antonio Vallecillo, Francisco Durán, Jordi ...
AC
2003
Springer
15 years 6 months ago
Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...
Wil M. P. van der Aalst
104
Voted
ATAL
2008
Springer
15 years 4 months ago
Towards background emotion modeling for embodied virtual agents
For the realistic simulation of embodied agents we need a model of emotion that represents both structural and dynamic aspects of emotional phenomena to serve as background suppor...
Luís Morgado, Graça Gaspar
ACL
2003
15 years 3 months ago
Towards a Model of Face-to-Face Grounding
We investigate the verbal and nonverbal means for grounding, and propose a design for embodied conversational agents that relies on both kinds of signals to establish common groun...
Yukiko I. Nakano, Gabe Reinstein, Tom Stocky, Just...
SPIN
2012
Springer
13 years 4 months ago
Counterexample Explanation by Anomaly Detection
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
Stefan Leue, Mitra Tabaei Befrouei