Sciweavers

3605 search results - page 78 / 721
» System and simulation modeling using SysML
Sort
View
ACL
2008
15 years 4 months ago
Simulating the Behaviour of Older versus Younger Users when Interacting with Spoken Dialogue Systems
In this paper we build user simulations of older and younger adults using a corpus of interactions with a Wizard-of-Oz appointment scheduling system. We measure the quality of the...
Kallirroi Georgila, Maria Wolters, Johanna D. Moor...
QEST
2008
IEEE
15 years 9 months ago
CaVi -- Simulation and Model Checking for Wireless Sensor Networks
CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavi...
Athanassios Boulis, Ansgar Fehnker, Matthias Fruth...
DATE
2006
IEEE
125views Hardware» more  DATE 2006»
15 years 8 months ago
Combining simulation and formal methods for system-level performance analysis
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...
Simon Künzli, Francesco Poletti, Luca Benini,...
117
Voted
DSRT
2008
IEEE
15 years 9 months ago
Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines
Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk. In th...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli
107
Voted
WSC
2004
15 years 3 months ago
Analysis of Supply Chains Using System Dynamics, Neural Nets, and Eigenvalues
Supply chain management is a critically significant strategy that enterprises depend on in meeting the challenges of today's highly competitive and dynamic business environme...
Luis Rabelo, Magdy Helal, Chalermmon Lertpattarapo...