Sciweavers

861 search results - page 123 / 173
» Internal implementation
Sort
View
ENTCS
2008
106views more  ENTCS 2008»
14 years 10 months ago
Reduction Semantics and Formal Analysis of Orc Programs
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...
Musab AlTurki, José Meseguer
CORR
2006
Springer
88views Education» more  CORR 2006»
14 years 9 months ago
Both Generic Design and Different Forms of Designing
Abstract. This paper defends an augmented cognitively oriented "genericdesign hypothesis": There are both significant similarities between the design activities implement...
Willemien Visser
CORR
2006
Springer
102views Education» more  CORR 2006»
14 years 9 months ago
A library of Taylor models for PVS automatic proof checker
We present in this paper a library to compute with Taylor models, a technique extending interval arithmetic to reduce decorrelation and to solve differential equations. Numerical s...
Francisco Cháves, Marc Daumas
IBIS
2006
109views more  IBIS 2006»
14 years 9 months ago
Formulation Schema Matching Problem for Combinatorial Optimization Problem
: Schema matching is the task of finding semantic correspondences between elements of two schemas, which plays a key role in many database applications. In this paper, we cast the ...
Zhi Zhang, Pengfei Shi, Haoyang Che, Yong Sun, Jun...
IJWIN
2008
126views more  IJWIN 2008»
14 years 9 months ago
IEEE 802.11 Load Balancing: An Approach for QoS Enhancement
Abstract. With the 802.11 WLAN multimedia applications (Video, Audio, realtime voice over IP,...) increasing, providing Quality of Service (QoS) support becomes very important sinc...
Issam Jabri, Nicolas Krommenacker, Thierry Divoux,...