554 search results - page 62 / 111 » Modeling and Reasoning about Service Behaviors and Their Com... |
164
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
137
click to vote
CAV
2012
Springer
13 years 8 months ago
2012
Springer
The growing complexity of hardware optimizations employed by multiprocessors leads to subtle distinctions among allowed and disallowed behaviors, posing challenges in specifying th...
160
click to vote
KIC
2000
15 years 7 months ago
2000
One of the major bottlenecks in conceptual engineering design is the pure amount of design information which the design engineer needs to take into consideration. Furthermore, the ...
161
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
164
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...