Sciweavers

3463 search results - page 183 / 693
» Modeling and executing master-worker applications in compone...
Sort
View
CASCON
2010
204views Education» more  CASCON 2010»
14 years 11 months ago
Effective collaboration and consistency management in business process modeling
ion and giving them a medium to express and implement change. One of the keys to achieve agility for creating business processes depends on close interaction between IT department ...
Moises Castelo Branco, Yingfei Xiong, Krzysztof Cz...
IADIS
2003
15 years 6 months ago
A Light Web-Oriented Business Framework
In this paper, we describe the development of a framework for building J2EE Web-centric business applications, that is, middle-size applications organized around Web components. T...
Davide Brugali, Giuseppe Psaila, Franco Guidi-Pola...
150
Voted
ICWE
2011
Springer
14 years 8 months ago
Formal Modeling of RESTful Systems Using Finite-State Machines
Representational State Transfer (REST), as an architectural style for distributed hypermedia systems, enables scalable operation of the World Wide Web (WWW) and is the foundation f...
Ivan Zuzak, Ivan Budiselic, Goran Delac
BMVC
2010
15 years 2 months ago
Joint Modeling of Algorithm Behavior and Image Quality for Algorithm Performance Prediction
In this paper, we propose a framework for predicting the performance of a vision algorithm given the input image or video so as to maximize the algorithm's ability to provide...
Apurva Gala, Shishir Shah
158
Voted
TSE
2010
123views more  TSE 2010»
14 years 11 months ago
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
Husain Aljazzar, Stefan Leue