3864 search results - page 365 / 773 » time 2005 |
154
click to vote
SAS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In his seminal paper [5], Granger presents an analysis which infers linear congruence relations between integer variables. For affine programs without guards, his analys...
164
click to vote
SPIN
2005
Springer
16 years 8 days ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
145
click to vote
STACS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We consider variations of two well-known centrality measures, betweenness and closeness, with a different model of information spread. Rather than along shortest paths o...
162
click to vote
STACS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We present a mathematical model to analyse the establishment and maintenance of communication between mobile agents. We assume that the agents move through a fixed envir...
173
click to vote
TEAA
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In emerging database applications that deal with large sets of multidimensional data, the performance of the query system significantly depends on the performance of its ...