Sciweavers

1350 search results - page 167 / 270
» Is there a future for empirical software engineering
Sort
View
ICSE
1995
IEEE-ACM
15 years 9 months ago
Deriving Specifications from Requirements: An Example
A requirement is a desired relationship among phenomena of the environment of a system, to be brought about by the hardware/software machine that will be constructed and installed...
Michael Jackson, Pamela Zave
CISSE
2008
Springer
15 years 8 months ago
Anonymity Leakage Reduction in Network Latency
Each Internet communication leaves trails here or there, that can be followed back to the user. Notably, anonymous communication schemes are purposed to hide users' identity ...
Longy O. Anyanwu, Jared Keengwe, Gladys A. Arome
AVI
2010
15 years 7 months ago
Knotty gestures: subtle traces to support interactive use of paper
We introduce the knotty gesture, a simple yet powerful technique for interacting with paper. Knots are tiny circles that can be added to any gesture. Users can leave subtle marks ...
Theophanis Tsandilas, Wendy E. Mackay
VAMOS
2010
Springer
15 years 7 months ago
A Deontic Logical Framework for Modelling Product Families
We discuss the application of deontic logics to the modelling of variabilities in product family descriptions. Deontic logics make it possible to express concepts like permission a...
Patrizia Asirelli, Maurice H. ter Beek, Stefania G...
AVI
2006
15 years 7 months ago
Evaluating visual table data understanding
In this paper, we focus on evaluating how information visualization supports exploration for visual table data. We present a controlled experiment designed to evaluate how the lay...
Nathalie Henry, Jean-Daniel Fekete