Sciweavers

1800 search results - page 191 / 360
» Feature Interaction in Composed Systems
Sort
View
DLS
2010
277views Languages» more  DLS 2010»
15 years 2 months ago
Factor: a dynamic stack-based programming language
Factor is a new dynamic object-oriented programming language. It began as an embedded scripting language and evolved to a mature application development language. The language has...
Sviatoslav Pestov, Daniel Ehrenberg, Joe Groff
SIGSOFT
2008
ACM
16 years 4 months ago
Modular verification of web services using efficient symbolic encoding and summarization
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
Fang Yu, Chao Wang, Aarti Gupta, Tevfik Bultan
ECOOP
2009
Springer
16 years 4 months ago
Remote Batch Invocation for Compositional Object Services
Abstract. Because Remote Procedure Calls do not compose efficiently, designers of distributed object systems use Data Transfer and Remote Fac?ade patterns to create large-granulari...
Ali Ibrahim, Yang Jiao, Eli Tilevich, William R. C...
IPPS
2007
IEEE
15 years 10 months ago
Client-Side Implementation of Dynamic Asynchronous Invocations for Web Services
Web Services are becoming more and more fundamental building blocks of Web-based distributed applications and a core technology for Grid systems. Due to their flexibility, Web Ser...
Giancarlo Tretola, Eugenio Zimeo
WECWIS
2005
IEEE
140views ECommerce» more  WECWIS 2005»
15 years 9 months ago
Developing Flexible Service Portals
Flexible workflow systems are needed for processes that need consistency as well as flexibility (e.g., personalized client interactions). A methodology for designing flexible serv...
Beat Liver, Jeannette Braun, Beatrix Rentsch, Pete...