Sciweavers

570 search results - page 76 / 114
» Evaluating Usability Evaluation Methods: Criteria, Method an...
Sort
View
JCDL
2009
ACM
133views Education» more  JCDL 2009»
16 years 19 days ago
Cost and benefit analysis of mediated enterprise search
The utility of an enterprise search system is determined by three key players: the information retrieval (IR) system (the search engine), the enterprise users, and the service pro...
Mingfang Wu, James A. Thom, Andrew Turpin, Ross Wi...
ICST
2009
IEEE
15 years 3 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
ISWC
1998
IEEE
15 years 10 months ago
Preliminary Investigation of Wearable Computers for Task Guidance in Aircraft Inspection
This paper describes a preliminary investigation of how the capabilities of wearable computers may be used to provide task guidance in mobile environments. Specifically, this stud...
Jennifer J. Ockerman, Amy R. Pritchett
ATVA
2008
Springer
143views Hardware» more  ATVA 2008»
15 years 8 months ago
Automating Algebraic Specifications of Non-freely Generated Data Types
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
KDD
2003
ACM
266views Data Mining» more  KDD 2003»
16 years 6 months ago
Applying data mining in investigating money laundering crimes
In this paper, we study the problem of applying data mining to facilitate the investigation of money laundering crimes (MLCs). We have identified a new paradigm of problems --- th...
Zhongfei (Mark) Zhang, John J. Salerno, Philip S. ...