2776 search results - page 261 / 556 » System-Level Abstraction Semantics |
176
click to vote
AIED
2005
Springer
16 years 6 days ago
2005
Springer
This paper explores the idea of using contexts to support more efficient information search in Topic Maps-based digital libraries. The notion of context is d as abstraction of grou...
150
click to vote
FMCO
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We compare the expressive power of process calculi by studying the problem of electing a leader in a symmetric network of processes. We consider the π-calculus with mixe...
151
click to vote
ICALP
2004
Springer
16 years 1 days ago
2004
Springer
We generalise the notion of pre-logical predicates [HS02] to arbitrary simply typed formal systems and their categorical models. We establish the basic lemma of pre-logical predica...
192
click to vote
ISSAC
1998
Springer
15 years 11 months ago
1998
Springer
In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor progra...
155
click to vote
ATAL
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We address the problem of constructing multiagent systems by coordinating autonomous agents, whose internal designs may not be fully known. We develop a customizable coor...