Sciweavers

3706 search results - page 309 / 742
» KtSeqC: System Description
Sort
View
ICFEM
2003
Springer
15 years 12 months ago
Formalization, Testing and Execution of a Use Case Diagram
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...
Wuwei Shen, Shaoying Liu
TEI
2009
ACM
166views Hardware» more  TEI 2009»
15 years 11 months ago
Pendaphonics: a tangible pendulum-based sonic interaction experience
Pendaphonics is a tangible physical-digital-sonic environment and interactive system that engages users in individual, collaborative, group, and distributed interactive experience...
Anne-Marie Skriver Hansen, Dan Overholt, Winslow B...
BMAS
2000
IEEE
15 years 11 months ago
Integration of Mechanical CAD and Behavioral Modeling
This article introduces the concept of combining both form (CAD models) and behavior (simulation models) of mechatronic system components into component objects. By composing thes...
Rajarishi Sinha, Christiaan J. J. Paredis, Pradeep...
LOGCOM
1998
126views more  LOGCOM 1998»
15 years 6 months ago
Engineering AgentSpeak(L): A Formal Computational Model
Perhaps the most successful agent architectures, and certainly the best known, are those based on the Belief-Desire-Intention (BDI) framework. Despite the wealth of research that ...
Mark d'Inverno, Michael Luck
FLAIRS
2010
15 years 4 months ago
Game Based Training for Fighter Pilots
How could computer games be used to augment training for fighter pilots? This paper is aimed at providing one answer to this research question. Three current methods of training f...
Jeremy Ludwig, Robert Richards, Jeff Lovelace