6355 search results - page 914 / 1271 » From Logic to Games |
179
click to vote
ESWS
2004
Springer
16 years 7 days ago
2004
Springer
Existing efforts on ontology mapping, alignment and merging vary from methodological and theoretical frameworks, to methods and tools that support the semi-automatic coordination o...
190
Voted
FLOPS
2004
Springer
16 years 6 days ago
2004
Springer
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...
182
click to vote
FSTTCS
2004
Springer
16 years 6 days ago
2004
Springer
We introduce ctm, a process calculus which embodies a notion of trust for global computing systems. In ctm each principal (location) is equipped with a policy, which determines its...
143
click to vote
ICWE
2004
Springer
16 years 6 days ago
2004
Springer
The usability of web applications today often suffers from the page-based medium’s lack of intrinsic support for hierarchical dialog sequences mirroring the parent-child relatio...
161
click to vote
LOPSTR
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Termination of binary CLP programs has recently become an important question in the termination analysis community. The reason for this is due to that a number of approac...