5639 search results - page 538 / 1128 » Timed Abstract Non-interference |
143
click to vote
SPIN
2005
Springer
15 years 11 months 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...
134
click to vote
STACS
2005
Springer
15 years 11 months 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...
152
click to vote
STACS
2005
Springer
15 years 11 months 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...
165
click to vote
TEAA
2005
Springer
15 years 11 months 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 ...
192
click to vote
UM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This research proposes an adaptive mechanism of information visualizing that responds to context changes in knowledge-intensive work. A framework of Context-Sensitive Vis...