4066 search results - page 565 / 814 » Almost Complete Sets |
194
click to vote
BPM
2007
Springer
16 years 1 months ago
2007
Springer
Control flow elements are important in process models. Such elements usually appear in graphic models as splits and joins of activity sequences. Workflow patterns reflect possible ...
205
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
A high-level security policy states an overall safety requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires ...
172
click to vote
COCO
2007
Springer
16 years 1 months ago
2007
Springer
Valiant has proposed a new theory of algorithmic computation based on perfect matchings and Pfaffians. We study the properties of matchgates—the basic building blocks in this n...
174
click to vote
COCOON
2007
Springer
16 years 1 months ago
2007
Springer
We consider the problem of scheduling a set of equal-length intervals arriving online, where each interval is associated with a weight and the objective is to maximize the total we...
175
click to vote
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
Dπ is a simple distributed extension of the π-calculus in which agents are explicitly located, and may use an explicit migration construct to move between locations. In this pap...