Sciweavers

6079 search results - page 326 / 1216
» Aspect-Oriented Process Engineering
Sort
View
CORR
2008
Springer
154views Education» more  CORR 2008»
15 years 6 months ago
A Counterexample Guided Abstraction-Refinement Framework for Markov Decision Processes
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...
Rohit Chadha, Mahesh Viswanathan
PE
2010
Springer
123views Optimization» more  PE 2010»
15 years 1 months ago
Evaluating fluid semantics for passive stochastic process algebra cooperation
Fluid modelling is a next-generation technique for analysing massive performance models. Passive cooperation is a popular cooperation mechanism frequently used by performance engi...
Richard A. Hayden, Jeremy T. Bradley
CIKM
2011
Springer
14 years 6 months ago
Ranking-based processing of SQL queries
A growing number of applications are built on top of search engines and issue complex structured queries. This paper contributes a customisable ranking-based processing of such qu...
Hany Azzam, Thomas Roelleke, Sirvan Yahyaei
ICSOC
2007
Springer
16 years 24 days ago
Pluggable Framework for Enabling the Execution of Extended BPEL Behavior
Adding runtime support for BPEL extensions typically r reacting to navigation events from a BPEL engine executing an extende model and (2) affecting the engine’s navigation behav...
Rania Khalaf, Dimka Karastoyanova, Frank Leymann
ICNS
2007
IEEE
16 years 29 days ago
A Case Study-based Performance Evaluation Framework for CSCF Processes on a Blade-Server
Abstract— The study of protocol behavior and traffic characteristics in a simulated environment is commonly supported by ad-hoc or general purpose simulators (e.g., Opnet, NS-2)...
Preetam Ghosh, Nirmalya Roy, Kalyan Basu, Sajal K....