Sciweavers

2191 search results - page 169 / 439
» Aspect - A Problem For MT
Sort
View
IEEEPACT
2007
IEEE
15 years 10 months ago
Verification-Aware Microprocessor Design
The process of verifying a new microprocessor is a major problem for the computer industry. Currently, architects design processors to be fast, power-efficient, and reliable. Howe...
Anita Lungu, Daniel J. Sorin
IEEESCC
2007
IEEE
15 years 10 months ago
Specification of Adaptive Client-Tailored Product Models
Traditionally, product models often have a rigid nature, both with respect to the manner in which they are initially tailored to clients, and to the way they are maintained over t...
Tibor Bosse, Fiemke Both, Mark Hoogendoorn, Jan Tr...
WISE
2007
Springer
15 years 10 months ago
Privacy Inspection and Monitoring Framework for Automated Business Processes
More and more personal data is exposed to automatic and programmatic access, making it more difficult to safeguard the personal information from unauthorised access at every step. ...
Yin Hua Li, Hye-Young Paik, Jun Chen
AIME
2007
Springer
15 years 10 months ago
A Human-Machine Cooperative Approach for Time Series Data Interpretation
Abstract. This paper deals with the interpretation of biomedical multivariate time series for extracting typical scenarios. This task is known to be difficult, due to the temporal ...
Thomas Guyet, Catherine Garbay, Michel Dojat
ATAL
2007
Springer
15 years 10 months ago
Matrix-based representation for coordination fault detection: a formal approach
Teamwork requires that team members coordinate their actions. The representation of the coordination is a key requirement since it influences the complexity and flexibility of r...
Meir Kalech, Michael Lindner, Gal A. Kaminka