1521 search results - page 141 / 305 » Role analysis |
101
click to vote
APLAS
2007
ACM
15 years 5 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...
104
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: Most existing transcriptional databases like Comprehensive Systems-Biology Database (CSB.DB) and Arabidopsis Microarray Database and Analysis Toolbox (GENEVESTIGATOR) ...
123
click to vote
APWEB
2007
Springer
15 years 7 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...
101
Voted
CCE
2005
15 years 1 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...
104
click to vote
TPHOL
2008
IEEE
15 years 8 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...