Sciweavers

11328 search results - page 77 / 2266
» Timed Branching Processes
Sort
View
EPK
2006
114views Management» more  EPK 2006»
15 years 4 months ago
Verifying Properties of (Timed) Event Driven Process Chains by Transformation to Hybrid Automata
Abstract: Event-driven Process Chains (EPCs) are a commonly used modelling technique for design and documentation of business processes. Although EPCs have an easy-to-understand no...
Stefan Denne
SIGMETRICS
2003
ACM
15 years 8 months ago
Queueing systems with long-range dependent input process and subexponential service times
We analyze the asymptotic tail distribution of stationary waiting times and stationary virtual waiting times in a singleserver queue with long-range dependent arrival process and ...
Cathy H. Xia, Zhen Liu
FORTE
2001
15 years 4 months ago
A Family of Resource-Bound Real-Time Process Algebras
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Phi...
101
Voted
LREC
2010
153views Education» more  LREC 2010»
15 years 4 months ago
Annotation Time Stamps - Temporal Metadata from the Linguistic Annotation Process
We describe the re-annotation of selected types of named entities (persons, organizations, locations) from the MUC7 corpus. The focus of this annotation initiative is on recording...
Katrin Tomanek, Udo Hahn
MVA
1992
170views Computer Vision» more  MVA 1992»
15 years 4 months ago
An Host-Target Environment for Real Time Image Processing
The development of a real time image processing on a specific architecture is always restricting for the user who must master all the elementary mechanisms of the machine. Such sp...
M. Pizzocaro