1788 search results - page 183 / 358 » Model Theory for Process Algebra |
118
Voted
CHI
2008
ACM
16 years 4 months ago
2008
ACM
To understand how and why individuals make use of emerging information assimilation services on the Web as part of their daily routine, we combined video recordings of online acti...
110
click to vote
SEAA
2008
IEEE
15 years 10 months ago
2008
IEEE
In early phases of the software development process, requirements prioritization necessarily relies on the specified requirements and on predictions of benefit and cost of individ...
125
Voted
CAV
2009
Springer
15 years 10 months ago
2009
Springer
The DPLL approach to the Boolean satisfiability problem (SAT) is a combination of search for a satisfying assignment and logical deduction, in which each process guides the other....
136
click to vote
ICWS
2009
IEEE
15 years 1 months ago
2009
IEEE
Workflow models have been used and refined for years to execute processes within organisations. To deal with collaborative processes (choreographies) these internal workflow model...
155
Voted
FMCAD
2008
Springer
15 years 5 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...