117 search results - page 3 / 24 » Accurate Centralization for Applying Model Checking on Netwo... |
PERCOM
2009
ACM
14 years 2 months ago
2009
ACM
—Contexts, the pieces of information that capture the characteristics of computing environments, are often inconsistent in the dynamic and uncertain pervasive computing environme...
ICIP
2000
IEEE
14 years 9 months ago
2000
IEEE
Spatial resolution of Magnetic Resonance Angiography (MRA) makes it a powerful tool for diagnosis and surgical planning. However, image interpretation and visualization tools are ...
DIMACS
1996
13 years 8 months ago
1996
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
SAC
2008
ACM
13 years 5 months ago
2008
ACM
Detecting errors in an early phase of software development can help to reduce the cost of software systems. Many research attempts presented a fixed set of rules to help finding e...
DSN
2002
IEEE
14 years 9 days ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...