1969 search results - page 192 / 394 » Financial Theory 1 |
175
click to vote
ATVA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
154
click to vote
SPAA
2010
ACM
15 years 6 months ago
2010
ACM
Given the sequential implementation of any data structure, we show how to obtain an efficient, wait-free implementation of that data structure shared by any fixed number of proces...
198
click to vote
HICSS
2010
IEEE
15 years 6 months ago
2010
IEEE
The amount of textual data that is available for researchers and businesses to analyze is increasing at a dramatic rate. This reality has led IS researchers to investigate various...
149
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This paper introduces a new algorithm for solving a subclass of quantified constraint satisfaction problems (QCSP) where existential quantifiers precede universally quantified ine...
212
click to vote
4OR
2006
15 years 6 months ago
2006
Abstract In this paper, the use of queueing theory for modeling uninterrupted traffic flows is evaluated. Empirical data on speeds and flows are used to evaluate speeds generated b...