89 search results - page 18 / 18 » Reachability Analysis for Some Models of Infinite-State Tran... |
APN
2007
Springer
13 years 11 months ago
2007
Springer
Most information systems that are driven by process models (e.g., workflow management systems) record events in event logs, also known as transaction logs or audit trails. We cons...
SCP
1998
13 years 4 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
BMCBI
2010
13 years 4 months ago
2010
Background: Microarray data discretization is a basic preprocess for many algorithms of gene regulatory network inference. Some common discretization methods in informatics are us...
METRICS
2005
IEEE
13 years 10 months ago
2005
IEEE
Software architecture is an important form of abstraction, representing the overall system structure and the relationship among components. When software is modified from one ver...