900 search results - page 103 / 180 » A Tool-Supported Approach to Testing UML Design Models |
162
click to vote
SNPD
2008
15 years 5 months ago
2008
: Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a co...
132
Voted
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Service and process-oriented systems promise to provide more effective business and work processes and more flexible and adaptable enterprise IT systems. However, the t...
131
click to vote
DAC
2005
ACM
16 years 4 months ago
2005
ACM
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
117
click to vote
HCI
2009
15 years 1 months ago
2009
Producing caption for the deaf and hearing impaired is a labor intensive task. We implemented a software tool, named SmartCaption, for assisting the caption production process usin...
154
click to vote
UMUAI
2002
15 years 3 months ago
2002
Spoken dialogue systemperformance canvary widely fordifferentusers, aswell for the same userduring different dialogues.This paper presents the design and evaluation ofan adaptive v...