Sciweavers

1387 search results - page 89 / 278
» Next generation CiteSeer
Sort
View
ENTCS
2008
113views more  ENTCS 2008»
15 years 4 months ago
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components
This paper presents an approach which supports verification and model-based adaptation of software compod services implemented using Windows Workflow Foundation (WF). First, we pr...
Javier Cubo, Gwen Salaün, Carlos Canal, Ernes...
FUIN
2008
81views more  FUIN 2008»
15 years 4 months ago
On the Use of Behavioural Equivalences for Web Services' Development
Abstract. Web services are emerging as a promising technology for the development of next generation distributed heterogeneous software systems. We define a new behavioural equival...
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio...
JUCS
2008
135views more  JUCS 2008»
15 years 4 months ago
Approximation to a Behavioral Model for Estimating Traffic Aggregation Scenarios
: This article provides a comparison among different methods for estimating the aggregation of Internet traffic resulting from different users, network-access types and correspondi...
Alberto E. Garcia, Klaus D. Hackbarth
AI
2000
Springer
15 years 4 months ago
BIG: An agent for resource-bounded information gathering and decision making
The World Wide Web has become an invaluable information resource but the explosion of available information has made web search a time consuming and complex process. The large num...
Victor R. Lesser, Bryan Horling, Frank Klassner, A...
CORR
1999
Springer
107views Education» more  CORR 1999»
15 years 4 months ago
WebScript - A Scripting Language for the Web
WebScript is a scripting language for processing Web documents. Designed as an extension to Jacl, the Java implementation of Tcl, WebScript allows programmers to manipulate HTML i...
Yin Zhang