3495 search results - page 60 / 699 » On the random satisfiable process |
108
Voted
SODA
2008
ACM
15 years 2 months ago
2008
ACM
One of the main questions that arise when studying random and quasi-random structures is which properties P are such that any object that satisfies P "behaves" like a tr...
93
Voted
DGO
2008
15 years 2 months ago
2008
In this paper we outline an approach for modeling election processes and then performing rigorous analysis to verify that these process models meet selected behavioral requirement...
110
click to vote
COORDINATION
2006
Springer
15 years 4 months ago
2006
Springer
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
114
click to vote
CAISE
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. The foundation of a process model lies in its control flow specifications. Using a generic process modeling language for workflows, we show how a control flow specificati...
102
Voted
MKWI
2008
15 years 2 months ago
2008
: The advent of regulatory compliance requirements such as Sarbanes Oxley Act has forced enterprises to set up a process for managing an effective internal controls system on busin...