133 search results - page 25 / 27 » Petri Nets, Traces, and Local Model Checking |
JCP
2008
13 years 7 months ago
2008
Inter-Organizational Workflows (IOWF) become important as they provide solution for data sharing, heterogeneity in resources and work coordination at global level. However, a secur...
POPL
1990
ACM
13 years 11 months ago
1990
ACM
Abstract. Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneou...
SIMVIS
2003
13 years 8 months ago
2003
The paradigm of the proxel ("probability element") was recently introduced in order to provide a new algorithmic approach to analysing discrete-state stochastic models s...
DALT
2004
Springer
14 years 26 days ago
2004
Springer
Declarative modelling approaches in principle assume a notion of representation or representational content for the modelling concepts. The notion of representational content as di...
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
Network processors today consists of multiple parallel processors (microengines) with support for multiple threads to exploit packet level parallelism inherent in network workload...