Sciweavers

19367 search results - page 334 / 3874
» Fine-Grain Process Modelling
Sort
View
TOPNOC
2008
15 years 4 months ago
TAPAs: A Tool for the Analysis of Process Algebras
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
Francesco Calzolai, Rocco De Nicola, Michele Loret...
CVPR
2009
IEEE
1216views Computer Vision» more  CVPR 2009»
16 years 11 months ago
Marked Point Processes for Crowd Counting
A Bayesian marked point process (MPP) model is developed to detect and count people in crowded scenes. The model couples a spatial stochastic process governing number and placem...
Robert T. Collins, Weina Ge
ISORC
2008
IEEE
15 years 10 months ago
QoS Aware Dependable Distributed Stream Processing
In this paper we describe our approach for developing a QoS-aware, dependable execution environment for large-scale distributed stream processing applications. Distributed stream ...
Vana Kalogeraki, Dimitrios Gunopulos, Ravi S. Sand...
ICEBE
2006
IEEE
140views Business» more  ICEBE 2006»
15 years 10 months ago
Achieving Transparent Integration of Information, Documents and Processes
Business interoperation is important especially in electronic business. It requires the integration of business information, business documents and business processes. Nevertheles...
Jingzhi Guo
WECWIS
2006
IEEE
151views ECommerce» more  WECWIS 2006»
15 years 10 months ago
DAG Synchronization Constraint Language for Business Processes
Correct synchronization among activities is critical in a business process. Current workflow languages such as BPEL specify the control flow of processes explicitly. However, thei...
Qinyi Wu, Akhil Sahai