8132 search results - page 181 / 1627 » Dependability, Abstraction, and Programming |
194
click to vote
FOCS
2007
IEEE
16 years 27 days ago
2007
IEEE
d Abstract) Kousha Etessami LFCS, School of Informatics University of Edinburgh Mihalis Yannakakis Department of Computer Science Columbia University We reexamine what it means to...
194
click to vote
DEXA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper proposes a natural extension of conditional functional dependencies (cfds [14]) and conditional inclusion dependencies (cinds [8]), denoted by cfdp s and cindp...
164
click to vote
STAIRS
2008
15 years 8 months ago
2008
Social networks are structures that aim to represent the relationships among the actors of a society. In the multiagent model, these networks depict the dependencies among the agen...
190
click to vote
IDA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Many examples exist of multivariate time series where dependencies between variables change over time. If these changing dependencies are not taken into account, any mode...
153
click to vote
SAS
2009
Springer
16 years 7 months ago
2009
Springer
Interpretation of FIFO Replacement Daniel Grund and Jan Reineke Saarland University, Saarbr?ucken, Germany In hard real-time systems, the execution time of programs must be bounded...