1073 search results - page 73 / 215 » Reasoning about Continuous Processes |
136
click to vote
IEEEHPCS
2010
15 years 1 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
104
Voted
ICIP
2009
IEEE
16 years 3 months ago
2009
IEEE
In this paper, security evaluation of an important watermarking class based on quantization is given. Theoretical developments and practical simulations are used to measure the se...
108
Voted
ECSQARU
2009
Springer
15 years 9 months ago
2009
Springer
Model-based diagnosis is the field of research concerned with the problem of finding faults ms by reasoning with abstract models of the systems. Typically, such models offer a ...
116
click to vote
ESAW
2009
Springer
15 years 9 months ago
2009
Springer
Organizational notions such as roles, norms (e.g., obligations and permissions), and services are increasingly viewed as natural concepts to manage the complexity of software devel...
109
Voted
ENTCS
2007
15 years 2 months ago
2007
Protocol Composition Logic (PCL) is a logic for proving security properties of network protocols that use public and symmetric key cryptography. The logic is designed around a pro...