Sciweavers

4137 search results - page 517 / 828
» On the number of matchings of a tree
Sort
View
ESOP
2007
Springer
16 years 29 days ago
A Calculus for Orchestration of Web Services
We introduce COWS (Calculus for Orchestration of Web Services), a new foundational language for SOC whose design has been influenced by WS-BPEL, the de facto standard language for...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
EUROPKI
2007
Springer
16 years 29 days ago
Security-by-Contract: Toward a Semantics for Digital Signatures on Mobile Code
In this paper we propose the notion of security-by-contract, a mobile contract that an application carries with itself. The key idea of the framework is that a digital signature sh...
Nicola Dragoni, Fabio Massacci, Katsiaryna Naliuka...
ISVC
2007
Springer
16 years 28 days ago
Fitting the World to the Mind: Transforming Images to Mimic Perceptual Adaptation
Abstract. Visual sensitivity is constantly adjusting to the current visual context through processes of adaptation. These adaptive changes strongly affect all perceptual judgments ...
Michael A. Webster, Kyle McDermott, George Bebis
MLG
2007
Springer
16 years 28 days ago
Inferring Vertex Properties from Topology in Large Networks
: Network topology not only tells about tightly-connected “communities,” but also gives cues on more subtle properties of the vertices. We introduce a simple probabilistic late...
Janne Sinkkonen, Janne Aukia, Samuel Kaski
OTM
2007
Springer
16 years 28 days ago
P2P Routing-by-Content on a Lightweight Community Basis
Abstract. The effective localization of the right resources is a challenging issue at the current stage of development of P2P systems in presence of a high number of peers providi...
Silvana Castano, Alfio Ferrara, Stefano Montanelli