Sciweavers

569 search results - page 7 / 114
» Intent Specifications: An Approach to Building Human-Centere...
Sort
View
DICS
2006
13 years 10 months ago
Definition and Correct Refinement of Operation Specifications
Abstract. Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simpliabstract model of the system which is ...
Thomas Baar, Slavisa Markovic, Frédé...
ICISS
2009
Springer
13 years 6 months ago
Method-Specific Java Access Control via RMI Proxy Objects Using Annotations
We propose a novel approach for granting partial access on arbitrary objects at the granularity of methods to remote clients. The applications that we target use Remote Method Invo...
Jeff Zarnett, Patrick Lam, Mahesh V. Tripunitara
ECIR
2008
Springer
13 years 10 months ago
Robust Query-Specific Pseudo Feedback Document Selection for Query Expansion
In document retrieval using pseudo relevance feedback, after initial ranking, a fixed number of top-ranked documents are selected as feedback to build a new expansion query model. ...
Qiang Huang, Dawei Song, Stefan M. Rüger
PERVASIVE
2010
Springer
13 years 10 months ago
Specification and Verification of Complex Location Events with Panoramic
We present the design and evaluation of Panoramic, a tool that enables end-users to specify and verify an important family of complex location events. Our approach aims to reduce o...
Evan Welbourne, Magdalena Balazinska, Gaetano Borr...
ICCS
1998
Springer
14 years 24 days ago
Handling Specification Knowledge Evolution Using Context Lattices
Internet-based information technologies have considerable potential for improving collaboration in professional communities. In this paper, we explain the concept of user-driven sp...
Aldo de Moor, Guy W. Mineau