3047 search results - page 592 / 610 » A Temporal Consensus Model |
TACAS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems oft...
122
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...
131
click to vote
WSDM
2009
ACM
15 years 8 months ago
2009
ACM
Text streams are becoming more and more ubiquitous, in the forms of news feeds, weblog archives and so on, which result in a large volume of data. An effective way to explore the...
INFOCOM
2009
IEEE
15 years 8 months ago
2009
IEEE
—The topology of the Internet has been extensively studied in recent years, driving a need for increasingly complex measurement infrastructures. These measurements have produced ...
ESWS
2009
Springer
15 years 8 months ago
2009
Springer
: Earth Observations (EO) collect various characteristics of the objective environment using sensors which often have different measuring, spatial and temporal coverage. Making ind...