Sciweavers

2714 search results - page 306 / 543
» A Service-Oriented Approach for Model Management
Sort
View
122
Voted
AP2PC
2003
Springer
15 years 9 months ago
A Robust and Scalable Peer-to-Peer Gossiping Protocol
Abstract. The newscast model is a general approach for communication in large agent-based distributed systems. The two basic services— membership management and information disse...
Spyros Voulgaris, Márk Jelasity, Maarten va...
CAISE
2006
Springer
15 years 7 months ago
Workflow Exception Patterns
This paper presents a classification framework for workflow exception handling in the form of patterns. This framework is independent of specific modelling approaches or technologi...
Nick Russell, Wil M. P. van der Aalst, Arthur H. M...
ASPDAC
2001
ACM
126views Hardware» more  ASPDAC 2001»
15 years 7 months ago
A new partitioning scheme for improvement of image computation
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
Christoph Meinel, Christian Stangier
WSC
2008
15 years 6 months ago
Valuation of variable annuity contracts with cliquet options in Asia markets
Variable annuities are very appealing to the investor. For example, in United States, sales volume on variable annuities grew to a record 184 billion in calendar year 2006. Howeve...
Ming-hua Hsieh
JAMDS
2000
90views more  JAMDS 2000»
15 years 3 months ago
Stratified filtered sampling in stochastic optimization
We develop a methodology for evaluating a decision strategy generated by a stochastic optimization model. The methodology is based on a pilot study in which we estimate the distri...
Robert Rush, John M. Mulvey, John E. Mitchell, Tho...