Sciweavers

8810 search results - page 356 / 1762
» Open. Closed. Open
Sort
View
CLEF
2004
Springer
16 years 5 days ago
Mono- and Crosslingual Retrieval Experiments at the University of Hildesheim
In this year’s participation we continued to evaluate open source information retrieval software. We used mainly the system Lucene and experimented with some of the most effecti...
René Hackl, Thomas Mandl, Christa Womser-Ha...
176
Voted
TPHOL
2002
IEEE
15 years 11 months ago
A Proposal for a Formal OCL Semantics in Isabelle/HOL
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
Achim D. Brucker, Burkhart Wolff
JSAI
2001
Springer
15 years 11 months ago
Methodological Considerations on Chance Discovery
This paper investigates the methodological foundations of a new research field called chance discovery which aims to detect future opportunities and risks. By drawing on concepts...
Helmut Prendinger, Mitsuru Ishizuka
SP
2000
IEEE
15 years 11 months ago
Security and Source Code Access: Issues and Realities
This position paper addresses some of the benefits and drawbacks for security of open access to source code. After a discussion of alternative models for open access to source cod...
Steven B. Lipner
NDSS
1999
IEEE
15 years 11 months ago
An Algebra for Assessing Trust in Certification Chains
Open networks allow users to communicate without any prior arrangements such as contractual agreement or organisation membership. However, the very nature of open networks makes a...
Audun Jøsang