3552 search results - page 532 / 711 » Proof theory in the abstract |
150
click to vote
SEMWEB
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Ontology mapping is the key to data interoperability in the semantic web. This problem has received a lot of research attention, however, the research emphasis has been m...
169
click to vote
STACS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. In many security protocols, such as group protocols, principals have to perform iterative or recursive computations. We call such protocols recursive protocols. Recently,...
134
click to vote
WOLLIC
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and c...
145
click to vote
XPU
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. In this paper we address how interaction design and agile development work together, with a focus on the issue of interaction design being done “up-front”, before sof...
201
click to vote
GLOBECOM
2006
IEEE
16 years 18 days ago
2006
IEEE
Abstract— Network calculus is an established theory for deterministic quality of service analysis of fixed networks. Due to the failures inherent in fading channels it is, howev...