3088 search results - page 65 / 618 » A Teleradiology System Design Case |
166
click to vote
ICHIT
2009
Springer
15 years 4 months ago
2009
Springer
As the popularity of the internet continues growing, not only change our life, but also change the way of crime. Number of crime by computer as tools, place or target, cases of su...
160
click to vote
ASAP
2006
IEEE
15 years 10 months ago
2006
IEEE
A popular approach to guarantee fault tolerance in safety-critical applications is to run the application on two processors. A checkpoint is inserted at the completion of the prim...
169
click to vote
AOSE
2003
Springer
15 years 11 months ago
2003
Springer
This paper shows how to verify a Multi-Agent System specification using human organization metaphors. This proposal applies Activity Theory, which has its roots in Sociology, to st...
160
click to vote
DATE
2000
IEEE
15 years 10 months ago
2000
IEEE
The widespread adoption of embedded microprocessor-based systems for safety critical applications mandates the use of co-design tools able to evaluate system dependability at ever...
159
click to vote
DSVIS
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...