Sciweavers

7366 search results - page 553 / 1474
» Development of the Information Systems Implementation Resear...
Sort
View
FM
2003
Springer
104views Formal Methods» more  FM 2003»
16 years 4 days ago
Proving the Shalls
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
Steven P. Miller, Alan C. Tribble, Mats Per Erik H...
CHI
2009
ACM
16 years 7 months ago
Designing for families
In this Special Interest Group (SIG) we plan to focus on discussions and activities surrounding the design of technologies to support families. Many researchers and designers stud...
Carman Neustaedter, Svetlana Yarosh, A. J. Bernhei...
185
Voted
FC
2005
Springer
99views Cryptology» more  FC 2005»
16 years 14 days ago
Countering Identity Theft Through Digital Uniqueness, Location Cross-Checking, and Funneling
One of today’s fastest growing crimes is identity theft – the unauthorized use and exploitation of another individual’s identitycorroborating information. It is exacerbated b...
Paul C. van Oorschot, Stuart G. Stubblebine
MANSCI
2011
15 years 1 months ago
Generating Ambiguity in the Laboratory
This article develops a method for drawing samples from which it is impossible to infer any quantile or moment of the underlying distribution. The method provides researchers with...
Jack Stecher, Timothy Shields, John Dickhaut
IPPS
2007
IEEE
16 years 1 months ago
Parallel Audio Quick Search on Shared-Memory Multiprocessor Systems
Audio search plays an important role in analyzing audio data and retrieving useful audio information. In this paper, a Partially Overlapping Block-Parallel Active Search method (P...
Yurong Chen, Wei Wei, Yimin Zhang