Sciweavers

7452 search results - page 1236 / 1491
» A Semantics for Multiprocessor Systems
Sort
View
FUIN
2000
71views more  FUIN 2000»
15 years 6 months ago
The Nondeterministic Information Logic NIL is PSPACE-complete
The nondeterministic information logic NIL has been introduced by Orlowska and Pawlak in 1984 as a logic for reasoning about total information systems with the similarity, the forw...
Stéphane Demri
SAC
2002
ACM
15 years 6 months ago
Benefits of document maps for text access in knowledge management: a comparative study
Analyzing, structuring and organizing documented knowledge is an important aspect of knowledge management. In order to ease the access to text collections, in literature so-called...
Andreas Becks, Christian Seeling, Ralf Minkenberg
VLDB
2002
ACM
74views Database» more  VLDB 2002»
15 years 6 months ago
Provisions and Obligations in Policy Management and Security Applications
Policies are widely used in many systems and applications. Recently, it has been recognized that a "yes/no" response to every scenario is just not enough for many modern...
Claudio Bettini, Sushil Jajodia, Xiaoyang Sean Wan...
GI
2010
Springer
15 years 5 months ago
Ontology-based Registration of Entities for Data Integration in Large Biomedical Research Projects
Abstract: Large biomedical projects often include workflows running across institutional borders. In these workflows, data describing biomedical entities, such as patients, bio-m...
Toralf Kirsten, Alexander Kiel
ISOLA
2010
Springer
15 years 5 months ago
Towards a Connector Algebra
Interoperability of heterogeneous networked systems has yet to reach the maturity required by ubiquitous computing due to the technology-dependent nature of solutions. The Connect ...
Marco Autili, Chris Chilton, Paola Inverardi, Mart...
« Prev « First page 1236 / 1491 Last » Next »