1411 search results - page 155 / 283 » Case Studies of an Insider Framework |
WINE
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Most existing market maker mechanisms for prediction markets are designed for events with a finite number of outcomes. All known attempts on designing market makers for f...
104
click to vote
ICST
2009
IEEE
14 years 9 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
HICSS
2000
IEEE
15 years 3 months ago
2000
IEEE
This paper explores the marketing of daily consumer goods in a pilot Web-based supermarket, in which no regular customers existed from among 65 registered ones at the end of the p...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Quasi-random graphs can be informally described as graphs whose edge distribution closely resembles that of a truly random graph of the same edge density. Recently, Shapira and Yu...
100
click to vote
APSEC
2006
IEEE
15 years 5 months ago
2006
IEEE
Coupling and cohesion between subsystems are commonly studied metrics when analyzing the architecture of software systems. It is usually desirable for subsystems to have high cohe...