Sciweavers

4919 search results - page 425 / 984
» A Process-Ontological Model for Software Engineering
Sort
View
ICSE
2008
IEEE-ACM
16 years 7 months ago
Analyzing medical processes
This paper shows how software engineering technologies used to define and analyze complex software systems can also be effective in detecting defects in human-intensive processes ...
Bin Chen, George S. Avrunin, Elizabeth A. Henneman...
KBSE
2010
IEEE
15 years 4 months ago
Seamlessly integrated, but loosely coupled: building user interfaces from heterogeneous components
User interface development is a time and resource consuming task. Thus, reusing existing UI components is a desirable approach for rapid UI development. To keep UIs maintainable, ...
Heiko Paulheim
IPL
2010
94views more  IPL 2010»
15 years 5 months ago
Partial model checking via abstract interpretation
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
Nicoletta De Francesco, Giuseppe Lettieri, Luca Ma...
TASLP
2010
169views more  TASLP 2010»
15 years 1 months ago
Integration of Statistical Models for Dictation of Document Translations in a Machine-Aided Human Translation Task
Abstract--This paper presents a model for machine aided human translation (MAHT) that integrates source language text and target language acoustic information to produce the text t...
Aarthi Reddy, Richard C. Rose
TASLP
2010
165views more  TASLP 2010»
15 years 1 months ago
Model-Based Dereverberation Preserving Binaural Cues
The ability of the human auditory system for sound localization mainly depends on the binaural cues, especially interaural time and level differences (ITD and ILD). In the context ...
Marco Jeub, M. Schafer, Thomas Esch, Peter Vary