Sciweavers

1497 search results - page 84 / 300
» A Computational Model for Message Passing
Sort
View
ECSQARU
1999
Springer
14 years 1 months ago
An Alternative to Outward Propagation for Dempster-Shafer Belief Functions
Abstract. Given several Dempster-Shafer belief functions, the framework of valuation networks describes an efficient method for computing the marginal of the combined belief functi...
Norbert Lehmann, Rolf Haenni
OOIS
1997
Springer
14 years 25 days ago
An Agent-Based Coordination Model on Workflow Databases
Workflow management, one of the important technologies for supporting collaborative work, requires database technologies like distributed data management or transaction management...
Takeo Kunishima, Kazumasa Yokota
WSFM
2007
Springer
14 years 3 months ago
Controlling Petri Net Process Models
We present and compare existing formalisms that consider the control of Petri net process models in the area of business processes and web services. Control has the aim to force a ...
Jörg Desel
CBSE
2005
Springer
14 years 2 months ago
Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
Zonghua Gu, Zhimin He
ECOOP
1992
Springer
14 years 1 months ago
An Object-Oriented Language-Database Integration Model: The Composition-Filters Approach
This paper introduces a new model, based on so-called object-composition filters, that uniformly integrates database-like features into an object-oriented language. The focus is o...
Mehmet Aksit, Lodewijk Bergmans, Sinan Vural