345 search results - page 51 / 69 » Modular and Incremental Analysis of Concurrent Software Syst... |
104
click to vote
CBMS
2006
IEEE
15 years 5 months ago
2006
IEEE
With the advances in medical imaging devices, large volumes of high-resolution 3D medical image data have been produced. These high-resolution 3D data are very large in size, and ...
PASTE
2004
ACM
15 years 5 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
112
Voted
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
Intrusion detection systems are distributed applications that analyze the events in a networked system to identify malicious behavior. The analysis is performed using a number of ...
90
Voted
IPM
2007
14 years 11 months ago
2007
Information retrieval systems consist of many complicated components. Research and development of such systems is often hampered by the difficulty in evaluating how each particula...
85
Voted
SAC
2010
ACM
15 years 4 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...