6355 search results - page 912 / 1271 » From Logic to Games |
162
click to vote
SEMWEB
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Recently, there have been a number of proposals for languages for expressing web service constraints and capabilities, with WSPolicy and WSPL leading the way. The propose...
170
click to vote
TCC
2005
Springer
16 years 9 days ago
2005
Springer
Several compositional forms of simulation-based security have been proposed in the literature, including universal composability, black-box simulatability, and variants thereof. Th...
180
click to vote
CSCLP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Among, Common and Disjoint are global constraints useful in modelling problems involving resources. We study a number of variations of these constraints over integer and ...
189
click to vote
SBCCI
2004
ACM
16 years 8 days ago
2004
ACM
This paper presents an approach for simulation of mixed analog-digital CMOS integrated circuits, aiming at estimating crosstalk effects due to current pulses drawn from voltage s...
167
click to vote
AIMSA
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The problem of finding an agreement on the meaning of heterogeneous schemas is one of the key issues in the development of the Semantic Web. In this paper, we propose a ...