Sciweavers

25218 search results - page 358 / 5044
» A Logic-Based Information System
Sort
View
FM
2009
Springer
104views Formal Methods» more  FM 2009»
16 years 2 months ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
HICSS
2000
IEEE
128views Biometrics» more  HICSS 2000»
16 years 2 days ago
From Content-Centered Publishing to a Link-based View of Information Resources
Influenced by the linking model which is implicit in HTML, today’s publishing model on the Web is contentcentered, with the emphasis of publishing on content rather than links....
Erik Wilde, David Lowe
184
Voted
ECIR
2009
Springer
16 years 4 months ago
Current Developments in Information Retrieval Evaluation
: In the last decade, many evaluation results have been created within the evaluation initiatives like TREC, NTCIR and CLEF. The large amount of data available has led to substanti...
Thomas Mandl
AI
2009
Springer
16 years 2 months ago
Machine Translation of Legal Information and Its Evaluation
This paper presents the machine translation system known as TransLI (Translation of Legal Information) developed by the authors for automatic translation of Canadian Court judgment...
Atefeh Farzindar, Guy Lapalme
ICN
2009
Springer
16 years 2 months ago
Acquisition of Channel State Information for Routing Purposes in Relay-Based WiMAX Networks
— The paper focuses on multi-hop routing mechanism used in relay based WiMAX networks. The proposal how to acquire channel state information (CSI) on relay and access path for de...
Pavel Mach, Zdenek Becvar, Robert Bestak