Sciweavers

7766 search results - page 437 / 1554
» Testing Nondeterminate Systems
Sort
View
ICMCS
2000
IEEE
111views Multimedia» more  ICMCS 2000»
15 years 11 months ago
Design and Implementation of VoD Server by using Clustered File System
Clustering system is getting popular in various application areas because of its cost-effectiveness. In this paper, we introduce the CROWN (Clustering Resources on Workstations’...
Chang-Soon Park, Mann-Ho Lee, Young-Sung Son, Oh-Y...
HASE
2008
IEEE
15 years 7 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
CC
2009
Springer
126views System Software» more  CC 2009»
16 years 7 months ago
Live Debugging of Distributed Systems
Debugging distributed systems is challenging. Although incremental debugging during development finds some bugs, developers are rarely able to fully test their systems under realis...
Darren Dao, Jeannie R. Albrecht, Charles Edwin Kil...
BIOCOMP
2006
15 years 8 months ago
A Clinical Decision Support System For Managing Flexor Tendon Injuries
A Clinical Decision Support System has been developed using the Exsys software for the flexor tendon injuries in Zone II encompassing the continuum from injury to complete rehabil...
Prashant Junankar, Dinesh P. Mital, Syed Haque, Sh...
SPEECH
2008
109views more  SPEECH 2008»
15 years 6 months ago
DialogStudio: A workbench for data-driven spoken dialog system development and management
Recently, data-driven speech technologies have been widely used to build speech user interfaces. However, developing and managing data-driven spoken dialog systems are laborious a...
Sangkeun Jung, Cheongjae Lee, Seokhwan Kim, Gary G...