5353 search results - page 381 / 1071 » Modelling Contexts in the Or-BAC Model |
208
Voted
IFM
2009
Springer
16 years 2 months ago
2009
Springer
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...
205
click to vote
IWSEC
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Common software-protection systems attempt to detect malicious observation and modification of protected applications. Upon tamper detection, anti-hacking code may produ...
152
click to vote
DATE
2007
IEEE
16 years 2 months ago
2007
IEEE
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...
277
click to vote
ISBI
2007
IEEE
16 years 2 months ago
2007
IEEE
Three-dimensional mammary cell culture models offer new opportunities for the development of computational techniques for segmentation, localization, and multicellular organizatio...
195
click to vote
WISE
2007
Springer
16 years 1 months ago
2007
Springer
One of the fundamental ideas of services and service oriented architecture is the possibility to develop new applications by composing existing services into business processes. Ho...