1521 search results - page 141 / 305 » Role analysis |
87
Voted
APLAS
2007
ACM
15 years 3 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
BMCBI
2008
14 years 12 months ago
2008
Background: Most existing transcriptional databases like Comprehensive Systems-Biology Database (CSB.DB) and Arabidopsis Microarray Database and Analysis Toolbox (GENEVESTIGATOR) ...
100
click to vote
APWEB
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Business process modeling is a key technology for crossorganizational business process integration. However, current modeling methods always fall short in describing comp...
CCE
2005
14 years 11 months ago
2005
The analysis of historical process data of technological systems plays important role in process monitoring, modelling and control. Time-series segmentation algorithms are often u...
TPHOL
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we present an approach to describe uniformly iterated “big” operations, like Pn i=0 f(i) or maxi∈I f(i) and to provide lemmas that encapsulate all the commonly...