Sciweavers

6293 search results - page 338 / 1259
» Information Flow Testing
Sort
View
FM
2006
Springer
133views Formal Methods» more  FM 2006»
15 years 8 months ago
Enforcer - Efficient Failure Injection
Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an applicati...
Cyrille Artho, Armin Biere, Shinichi Honiden
ICEIS
2008
IEEE
15 years 11 months ago
An Interactive Information Seeking Interface for Exploratory Search
As the Web has become a commodity, it is used for a variety of purposes and tasks that may require a great deal of cognitive efforts. However, most search engines developed for th...
Hogun Park, Sung-Hyon Myaeng, Gwan Jang, Jong-wook...
SIGECOM
2010
ACM
174views ECommerce» more  SIGECOM 2010»
15 years 3 months ago
Aggregation and manipulation in prediction markets: effects of trading mechanism and information distribution
We conduct laboratory experiments on variants of market scoring rule prediction markets, under different information distribution patterns, in order to evaluate the efficiency an...
Lian Jian, Rahul Sami
CHI
2010
ACM
15 years 11 months ago
Reactive information foraging for evolving goals
Information foraging models have predicted the navigation paths of people browsing the web and (more recently) of programmers while debugging, but these models do not explicitly m...
Joseph Lawrance, Margaret M. Burnett, Rachel K. E....
HICSS
2009
IEEE
119views Biometrics» more  HICSS 2009»
15 years 11 months ago
Information Sharing at National Borders: Extending the Utility of Border Theory
Research has identified the potential and challenges of information sharing in government settings mostly within the context of a single country. The challenges facing inter-gover...
Celene Navarrete, Sehl Mellouli, Theresa A. Pardo,...