Sciweavers

2223 search results - page 161 / 445
» Events in Property Patterns
Sort
View
127
Voted
WINE
2010
Springer
144views Economy» more  WINE 2010»
15 years 1 months ago
An Axiomatic Characterization of Continuous-Outcome Market Makers
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...
Xi Alice Gao, Yiling Chen
TRUSTBUS
2007
Springer
15 years 9 months ago
The Meaning of Logs
While logging events is becoming increasingly common in computing, in communication and in collaborative environments, log systems need to satisfy increasingly challenging (if not ...
Sandro Etalle, Fabio Massacci, Artsiom Yautsiukhin
ARCS
2004
Springer
15 years 8 months ago
Finite-State Modeling, Analysis and Testing of System Vulnerabilities
: Man-machine systems have several desirable properties, as to user friendliness, reliability, safety, security or other global system attributes. The potential for the lack, or br...
Fevzi Belli, Christof J. Budnik, Nimal Nissanke
AMC
2006
91views more  AMC 2006»
15 years 3 months ago
Lateral load estimation from visco-plastic mud-flow around cylindrical row of piles
In this paper, the influence of slow and creeping flow of mud/slurry is modelled as a visco-plastic fluid around cylindrical row of piles. The study is carried out theoretically u...
Seyhan Firat, Mehmet Saribiyik, Erkan Çeleb...
ENTCS
2010
103views more  ENTCS 2010»
15 years 22 days ago
A Model and Analysis of the AKAP Scaffold
We study the biochemical processes involved in scaffold-mediated crosstalk between the cAMP and the Raf-1/MEK/ERK pathways. We model the system by a continuous time Markov chain w...
Oana Andrei, Muffy Calder