2210 search results - page 280 / 442 » Applying a Model-based Approach for Embedded System Developm... |
111
Voted
CLEAR
2007
Springer
15 years 9 months ago
2007
Springer
The paper describes the IBM systems submitted to the NIST Rich Transcription 2007 (RT07) evaluation campaign for the speechto-text (STT) and speaker-attributed speech-to-text (SAST...
114
Voted
SIGADA
2005
Springer
15 years 8 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
136
Voted
TCAD
2008
15 years 2 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
114
Voted
DGO
2007
15 years 4 months ago
2007
Enhanced information sharing among criminal justice agencies is a critical concern and a goal of much IT investment. Understanding agencies’ capabilities to achieve this goal is...
134
Voted
COOPIS
2002
IEEE
15 years 7 months ago
2002
IEEE
The Neem Platform is a research test bed for Project Neem, concerned with the development of socially and culturally aware collaborative systems in a wide range of domains, through...