2515 search results - page 138 / 503 » Interval Availability Distribution Computation |
123
click to vote
SP
2003
IEEE
15 years 9 months ago
2003
IEEE
A challenging unsolved security problem is how to specify and enforce system-wide security policies; this problem is even more acute in distributed systems with mutual distrust. T...
161
click to vote
EURODAC
1995
IEEE
15 years 8 months ago
1995
IEEE
Distributed systems are becoming a popular way of implementing many embedded computing applications, automotive control being a common and important example. Such embedded systems...
165
click to vote
SDM
2008
SIAM
15 years 5 months ago
2008
SIAM
This paper offers a local distributed algorithm for multivariate regression in large peer-to-peer environments. The algorithm is designed for distributed inferencing, data compact...
123
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— Distributed motion planning of multiple agents raises fundamental and novel problems in control theory and robotics. Recently, one such great challenge has been the development...
126
click to vote
STTT
2010
15 years 2 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...