Sciweavers

5606 search results - page 133 / 1122
» Advances in Information Science
Sort
View
SPC
2005
Springer
16 years 13 days ago
A Theorem Proving Approach to Analysis of Secure Information Flow
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
Ádám Darvas, Reiner Hähnle, Dav...
181
Voted
EAGC
2004
Springer
16 years 11 days ago
Grid Infrastructure Monitoring as Reliable Information Service
A short overview of Grid infrastructure status monitoring is given followed by a discussion of key concepts for advanced status monitoring systems: passive information gathering ba...
Petr Holub, Martin Kuba, Ludek Matyska, Miroslav R...
ETRICS
2006
15 years 10 months ago
Possibilistic Information Flow Control in MAKS and Action Refinement
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
Dieter Hutter
ACL
2006
15 years 8 months ago
On-Demand Information Extraction
At present, adapting an Information Extraction system to new topics is an expensive and slow process, requiring some knowledge engineering for each new topic. We propose a new par...
Satoshi Sekine
ACL
2003
15 years 8 months ago
Integrating Information Extraction and Automatic Hyperlinking
This paper presents a novel information system integrating advanced information extraction technology and automatic hyper-linking. Extracted entities are mapped into a domain onto...
Stephan Busemann, Witold Drozdzynski, Hans-Ulrich ...