Sciweavers

1033 search results - page 177 / 207
» Using Temporal Language Models for Document Dating
Sort
View
TSE
1998
129views more  TSE 1998»
14 years 9 months ago
Inferring Declarative Requirements Specifications from Operational Scenarios
—Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenting software requirements. This paper concentrates on the use of scenarios for...
Axel van Lamsweerde, Laurent Willemet
ERCIMDL
2009
Springer
225views Education» more  ERCIMDL 2009»
15 years 4 months ago
Demonstration of User Interfaces for Querying in 3D Architectural Content in PROBADO3D
Abstract. The PROBADO project is a research effort to develop Digital Library support for non-textual documents. The main goal is to contribute to all parts of the Digital Library...
René Bernd, Ina Blümel, Harald Krottma...
CARDIS
2004
Springer
150views Hardware» more  CARDIS 2004»
15 years 3 months ago
Enforcing High-Level Security Properties for Applets
Smart card applications often handle privacy-sensitive information, and therefore must obey certain security policies. Typically, such policies are described as high-level security...
Mariela Pavlova, Gilles Barthe, Lilian Burdy, Mari...
ECIR
2010
Springer
14 years 11 months ago
Predicting Query Performance via Classification
We investigate using topic prediction data, as a summary of document content, to compute measures of search result quality. Unlike existing quality measures such as query clarity t...
Kevyn Collins-Thompson, Paul N. Bennett
ECOOP
1995
Springer
15 years 1 months ago
Time and Asynchrony in Interactions among Distributed Real-Time Objects
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
Ichiro Satoh, Mario Tokoro