Sciweavers

5275 search results - page 181 / 1055
» Computing by observing
Sort
View
146
Voted
SFM
2009
Springer
150views Formal Methods» more  SFM 2009»
15 years 10 months ago
Contract-Based Discovery and Composition of Web Services
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behaviour...
Mario Bravetti, Gianluigi Zavattaro
164
Voted
SOCO
2007
Springer
15 years 10 months ago
Towards a Unifying Theory for Choreography Conformance and Contract Compliance
In the context of Service Oriented Computing, contracts are descriptions of the externally observable behaviour of services. Given a group of collaborating services, their contract...
Mario Bravetti, Gianluigi Zavattaro
123
Voted
GECCO
2000
Springer
120views Optimization» more  GECCO 2000»
15 years 7 months ago
A Note on Learning and Evolution in Neural Networks
Interactions between evolution and lifetime learning are of great interest to studies of adaptive behaviour both in the natural world and the field of evolutionary computation. Th...
Brian Carse, Johan Oreland
121
Voted
WINE
2007
Springer
143views Economy» more  WINE 2007»
15 years 10 months ago
Market Equilibrium Using Auctions for a Class of Gross-Substitute Utilities
In addition to useful Economic interpretation, auction based algorithms are generally found to be efficient. In this note, we observe that the auction-based mechanism can also be u...
Rahul Garg, Sanjiv Kapoor
COMCOM
2010
179views more  COMCOM 2010»
15 years 3 months ago
On the statistical characterization of flows in Internet traffic with application to sampling
A new method of estimating some statistical characteristics of TCP flows in the Internet is developed in this paper. For this purpose, a new set of random variables (referred to as...
Yousra Chabchoub, Christine Fricker, Fabrice Guill...