2468 search results - page 235 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
144
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper studies the input design problem for system identification where time domain constraints have to be considered. A finite Markov chain is used to model the input of the s...
138
click to vote
SOSE
2006
IEEE
15 years 10 months ago
2006
IEEE
The globalization of software development helps to reduce business cost by outsourcing software design and development tasks. However, it also poses new challenges on the collabor...
119
click to vote
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
We propose a new fault localization technique for software bugs in large-scale computing systems. Our technique always collects per-process function call traces of a target system...
114
click to vote
MOBIQUITOUS
2005
IEEE
15 years 9 months ago
2005
IEEE
WLAN location determination systems are gaining increasing attention due to the value they add to wireless networks. In this paper, we present a multivariate analysis technique fo...
141
click to vote
PROVSEC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Oracle separation methods are used in cryptography to rule out blackbox reductions between cryptographic primitives. It is sufficient to find an oracle relative to whic...