1690 search results - page 165 / 338 » Algorithmic Properties of Millstream Systems |
163
click to vote
IMC
2006
ACM
15 years 10 months ago
2006
ACM
This paper addresses the difficult problem of selecting representative samples of peer properties (e.g., degree, link bandwidth, number of files shared) in unstructured peer-to-p...
148
click to vote
ISSTA
2004
ACM
15 years 10 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
165
Voted
IANDC
2011
14 years 11 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
132
click to vote
PODC
2010
ACM
15 years 8 months ago
2010
ACM
This paper deals with pipelined queries over services. The execution plan of such queries defines an order in which the services are called. We present the theoretical underpinni...
152
click to vote
ICMLA
2004
15 years 6 months ago
2004
Predictive state representation (PSR) models for controlled dynamical systems have recently been proposed as an alternative to traditional models such as partially observable Mark...