4350 search results - page 717 / 870 » Case studies for contract-based systems |
132
Voted
CHI
2004
ACM
16 years 4 months ago
2004
ACM
This chapter introduces the concept of multi-modal interaction and our findings related to the development of biomedical applications for two different projection modalities: virtu...
244
Voted
SIGMOD
2006
ACM
16 years 3 months ago
2006
ACM
Monitoring is an issue of primary concern in current and next generation networked systems. For example, the objective of sensor networks is to monitor their surroundings for a va...
158
Voted
EFORENSICS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This article describes techniques of vocal forgery able to affect automatic speaker recognition system in a forensic context. Vocal forgery covers two main aspects: voice...
137
Voted
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Monitoring the satisfaction of software requirements and diagnosing what went wrong in case of failure is a hard problem that has received little attention in the Software and Req...
139
Voted
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...