5639 search results - page 903 / 1128 » Timed Abstract Non-interference |
127
click to vote
ASPDAC
2008
ACM
15 years 5 months ago
2008
ACM
Abstract--In this paper, the problem of bus driven floorplanning is addressed. Given a set of modules and bus specifications, a floorplan solution including the bus routes will be ...
132
click to vote
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
129
click to vote
BIRTHDAY
2008
Springer
15 years 5 months ago
2008
Springer
e [43] is the first paper on final, observational semantics in abstract data types, and the main reference for one of the MoC contributed papers in this volume. It presented severa...
139
click to vote
BPM
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We consider workflow graphs as a model for the control flow of a business process model and study the problem of workflow graph parsing, i.e., finding the structure of a ...
113
click to vote
BPM
2008
Springer
15 years 5 months ago
2008
Springer
For a particular business process, typically, different variants exist. Each of them constitutes an adjustment of a basic process (e.g. a reference process) to specific requirement...