7452 search results - page 222 / 1491 » A Semantics for Multiprocessor Systems |
143
click to vote
FMOODS
2003
15 years 5 months ago
2003
This paper1 presents the Kell calculus, a new distributed process calculus that retains the original insights of the Seal calculus (local actions, process replication) and of the M...
124
click to vote
PVLDB
2010
15 years 2 months ago
2010
We propose the demonstration of Keymantic, a system for keyword-based searching in relational databases that does not require a-priori knowledge of instances held in a database. I...
156
click to vote
CSWWS
2006
15 years 8 months ago
2006
Bioinformaticians are accustomed to going through analysis steps, in which they employ several data sources, like protein sequence and protein interaction databases, to carry out t...
SEMWEB
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper describes the design and implementation of Bibster, a Peer-to-Peer system for exchanging bibliographic data among researchers. Bibster exploits ontologies in d...
126
click to vote
ESWS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Automated modeling of appropriate and valid document descriptions is a central issue for the benefit and success of an ontologybased personal document management system. ...