11168 search results - page 60 / 2234 » Abstract State Processes |
131
click to vote
ISPDC
2003
IEEE
15 years 7 months ago
2003
IEEE
Many formal modelling notations for business processes have been proposed during the last decade. They can be broadly classified into high-level visual notations, with an intuiti...
118
click to vote
ICALP
1998
Springer
15 years 6 months ago
1998
Springer
We show that characteristic formulae for nite-state systems up to bisimulationlike equivalences (e.g., strong and weak bisimilarity) can be given in the simple branching-time temp...
104
click to vote
ACL
2006
15 years 3 months ago
2006
It has previously been assumed in the psycholinguistic literature that finite-state models of language are crucially limited in their explanatory power by the locality of the prob...
131
click to vote
C3S2E
2009
ACM
15 years 6 months ago
2009
ACM
Most database systems (DBMSs) today are operating on servers equipped with magnetic disks. In our contribution, we want to motivate the use of two emerging and striking technologi...
123
click to vote
CAV
2007
Springer
15 years 6 months ago
2007
Springer
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...