620 search results - page 59 / 124 » Abstract Analysis of Symbolic Executions |
111
Voted
BPM
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. This paper presents a methodology for deriving business process descriptions based on terms in business contract. The aim is to assist process modellers in structuring co...
124
click to vote
BPM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
117
Voted
RTAS
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--Modern computing systems have adopted multicore architectures and multiprocessor systems on chip (MPSoCs) for accommodating the increasing demand on computation power. Ho...
109
click to vote
ICSEA
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...
111
click to vote
CAV
2012
Springer
13 years 3 months ago
2012
Springer
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...