4810 search results - page 180 / 962 » Modeling Value Speculation |
145
click to vote
ECBS
2000
IEEE
15 years 11 months ago
2000
IEEE
We apply the XMC model checker to the Java metalocking algorithm, a highly optimized technique for ensuring mutually exclusive access by threads to object monitor queues. Our abst...
190
click to vote
PROFES
2000
Springer
15 years 10 months ago
2000
Springer
This paper proposes a model of successful maintenance that can represent how maintainability of each software module changes as it ages. We found that some of the metrics, measured...
151
click to vote
ESANN
2007
15 years 8 months ago
2007
Abstract. The convex optimisation problem involved in fitting a kernel probit regression (KPR) model can be solved efficiently via an iteratively re-weighted least-squares (IRWLS)...
161
click to vote
WSPI
2008
15 years 8 months ago
2008
Abstract. We all highly depend and rely on the trustworthiness of information and services provided by various parties and institutions. Reputation systems are one possibility to s...
162
click to vote
IRMA
2000
15 years 7 months ago
2000
Early information systems were mainly built around secondary, administrative processes of the value chain (e.g. accounting). But since the internet came into use, more and more pr...