Sciweavers

875 search results - page 77 / 175
» Specification Modules for Methodical System Development
Sort
View
FMSB
2008
142views Formal Methods» more  FMSB 2008»
15 years 4 months ago
Generic Reactive Animation: Realistic Modeling of Complex Natural Systems
Abstract. Natural systems, such as organs and organisms, are largescale complex systems with numerous elements and interactions. Modeling such systems can lead to better understand...
David Harel, Yaki Setty
ECBS
1997
IEEE
144views Hardware» more  ECBS 1997»
15 years 6 months ago
An analysis of the Ariane 5 flight 501 failure-a system engineering perspective
The report issued by the Inquiry Board in charge of inspecting the Ariane 5 flight 501 failure concludes that causes of the failure are rooted into poor S/W Engineering practice. ...
Gérard Le Lann
140
Voted
SIGDIAL
2010
15 years 9 days ago
Online Error Detection of Barge-In Utterances by Using Individual Users' Utterance Histories in Spoken Dialogue System
We develop a method to detect erroneous interpretation results of user utterances by exploiting utterance histories of individual users in spoken dialogue systems that were deploy...
Kazunori Komatani, Hiroshi G. Okuno
121
Voted
DESRIST
2009
Springer
153views Education» more  DESRIST 2009»
15 years 6 days ago
An approach for designing management support systems: the design science research process and its outcomes
Design science research involves creating and evaluating innovative methods and approaches to be used in design practice. We present an approach to be used in the process of desig...
Sven A. Carlsson, Stefan Henningsson, Stefan Hrast...
MSS
2000
IEEE
81views Hardware» more  MSS 2000»
15 years 6 months ago
Compact Holographic Read/Write Memory
— We examine the primary challenges for building a practical and competitive holographic random access memory (HRAM) system, specifically size, speed, and cost. We show that a fa...
Wenhai Liu, Demetri Psaltis