Sciweavers

1995 search results - page 149 / 399
» Belief in Information Flow
Sort
View
ICDCSW
2002
IEEE
14 years 3 months ago
Stability of Autonomous Decentralized Flow Control Schemes in High-Speed Networks
This paper focuses on flow control in high-speed networks. Each node in the networks handles its local traffic flow only on the basis of the information it knows, but it is pre...
Masaki Aida, Chisa Takano
BPM
2000
Springer
133views Business» more  BPM 2000»
14 years 1 months ago
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, ...
Wil M. P. van der Aalst
POPL
1995
ACM
14 years 1 months ago
A Type System Equivalent to Flow Analysis
Flow-based safety analysis of higher-order languages has been studied by Shivers, and Palsberg and Schwartzbach. Open until now is the problem of finding a type system that accep...
Jens Palsberg, Patrick O'Keefe
CRV
2009
IEEE
186views Robotics» more  CRV 2009»
14 years 1 months ago
Optical Flow from Motion Blurred Color Images
This paper presents an algorithm for the estimation of optical flow from a single, motion-blurred, color image. The proposed algorithm is based on earlier work that estimated the...
Yasmina Schoueri, Milena Scaccia, Ioannis M. Rekle...
FORTE
2007
13 years 11 months ago
A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets
Positive flows provide very useful informations that can be used to perform efficient analysis of a model. Although algorithms computing (a generative family of) positive flows i...
Sami Evangelista, Christophe Pajault, Jean-Fran&cc...