963 search results - page 101 / 193 » Modeling and analysis of real -time systems with mutex compo... |
COMPSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
Uncertainty analysis through sensitivity studies and quantification of the variance of the reliability estimate has become more common in architecture-based software reliability ...
112
click to vote
SAT
2005
Springer
15 years 5 months ago
2005
Springer
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...
100
click to vote
ECWEB
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Semantic Web Services can be seen as remote Problem Solving Methods offered via the Web through platform and language independent interfaces. They can be seamlessly inte...
90
Voted
CN
2004
14 years 11 months ago
2004
A number of web cache-related algorithms, such as replacement and prefetching policies, rely on specific characteristics present in the sequence of requests for efficient performa...
NECO
2000
14 years 11 months ago
2000
We develop geometric dynamical systems methods to determine how various components contribute to a neuronal network's emergent population behavior. The results clarify the mu...