10568 search results - page 1618 / 2114 » Computer Intelligence and Formalization |
205
click to vote
3DPVT
2002
IEEE
16 years 4 days ago
2002
IEEE
3D medical images produced in health centers represent tremendous amounts of data spread over different places. Automatic processing of these data often allow quantitative and rep...
184
click to vote
CODES
2002
IEEE
16 years 4 days ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
163
click to vote
COMPSAC
2002
IEEE
16 years 4 days ago
2002
IEEE
A transactional workflow is composed of traditional flat transactions, and its execution has relaxed transactional atomicity. Due to different termination characteristics of trans...
193
click to vote
ICPPW
2002
IEEE
16 years 3 days ago
2002
IEEE
Incidents such as Solar Sunrise and Nimda demonstrate the need to expressively model distributed and complex network attacks. To protect information systems, system administrators...
218
click to vote
KR
2010
Springer
15 years 12 months ago
2010
Springer
In discrete dynamical systems change results from actions. As such, given a set of observations, diagnoses often take the form of posited events that result in the observed behavi...