Sciweavers

11653 search results - page 1984 / 2331
» The Development of the C Language
Sort
View
FM
2003
Springer
115views Formal Methods» more  FM 2003»
16 years 19 hour ago
Model Checking FTA
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
Andreas Thums, Gerhard Schellhorn
ICADL
2003
Springer
107views Education» more  ICADL 2003»
16 years 13 hour ago
A Multimedia Digital Library System Based on MPEG-7 and XQuery
We designed and implemented a digital library system that supports content-based retrieval of multimedia objects based on MPEG-7 and XQuery. MPEG-7, a metadata standard for multim...
Mann-Ho Lee, Ji-Hoon Kang, Sung-Hyon Myaeng, Soon ...
ICMI
2003
Springer
82views Biometrics» more  ICMI 2003»
16 years 10 hour ago
The role of spoken feedback in experiencing multimodal interfaces as human-like
If user interfaces should be made human-like vs. tool-like has been debated in the HCI field, and this debate affects the development of multimodal interfaces. However, little emp...
Pernilla Qvarfordt, Arne Jönsson, Nils Dahlb&...
IFIP
2003
Springer
16 years 8 hour ago
Exact Probabilistic Analysis of the Limited Scheduling Algorithm for Symmetrical Bluetooth Piconets
Efficient communication in Bluetooth scatternets requires design of intra and inter-piconet scheduling algorithms, and therefore numerous algorithms have been proposed. However, du...
Gil Zussman, Uri Yechiali, Adrian Segall
187
Voted
AINA
2009
IEEE
15 years 12 months ago
DAVO: A Domain-Adaptable, Visual BPEL4WS Orchestrator
The Business Process Execution Language for Web Services (BPEL4WS) is the de facto standard for the composition of web services into complex, valued-added workflows in both indus...
Tim Dörnemann, Markus Mathes, Roland Schwarzk...
« Prev « First page 1984 / 2331 Last » Next »