Sciweavers

2374 search results - page 229 / 475
» Automatic Generation of Model Translations
Sort
View
SEMCO
2008
IEEE
16 years 1 months ago
Disambiguating Sounds through Context
A central problem in automatic sound recognition is the mapping between low-level audio features and the meaningful content of an auditory scene. We propose a dynamic network mode...
Maria E. Niessen, Leendert van Maanen, Tjeerd C. A...
188
Voted
ISSS
2002
IEEE
144views Hardware» more  ISSS 2002»
15 years 11 months ago
A Visual Approach to Validating System Level Designs
This paper proposes a simulation-based methodology for validation of a system under design in an early phase of development. The key element of this approach is the visual speci...
Jürgen Ruf, Thomas Kropf, Jochen Klose
DEXAW
2006
IEEE
127views Database» more  DEXAW 2006»
16 years 20 days ago
History Checking of XML Data Streams
Besides being adopted as the new general data representation format for the Internet, XML is finding increasing acceptance as a native data exchange language. In order to fully e...
Alessandro Campi, Paola Spoletini
WECWIS
2006
IEEE
151views ECommerce» more  WECWIS 2006»
16 years 19 days ago
DAG Synchronization Constraint Language for Business Processes
Correct synchronization among activities is critical in a business process. Current workflow languages such as BPEL specify the control flow of processes explicitly. However, thei...
Qinyi Wu, Akhil Sahai
ADAEUROPE
2003
Springer
15 years 10 months ago
Quasar: A New Tool for Concurrent Ada Programs Analysis
Concurrency introduces a high degree of combinatory which may be the source of subtle mistakes. We present a new tool, Quasar, which is based on ASIS and which uses fully the conce...
Sami Evangelista, Claude Kaiser, Jean-Franç...