2227 search results - page 272 / 446 » Reversibility and Models for Concurrency |
VLDB
1987
ACM
14 years 2 months ago
1987
ACM
A conventional transaction manager implemented by a database management system (DBMS) was compared against one implemented within an operating system (OS) in a variety of simulate...
FMOODS
2007
14 years 2 days ago
2007
Rewriting logic provides a powerful, flexible mechanism for language definition and analysis. This flexibility in design can lead to problems during analysis, as different desi...
APPINF
2003
14 years 1 days ago
2003
One of the primary advantages of artificial neural networks is their inherent ability to perform massively parallel, nonlinear signal processing. However, the asynchronous dynamics...
FUIN
2006
13 years 10 months ago
2006
We study concurrent processes modelled as workflow Petri nets extended with resource constraints. We define a behavioural correctness criterion called soundness: given a sufficient...
CERA
2005
13 years 10 months ago
2005
In order to accurately cost the new product manufacture, and to assess a `what if' scenario in a rapid manner, requires an information system which can integrate the process ...