5084 search results - page 885 / 1017 » Proving Possibility Properties |
153
click to vote
GPCE
2004
Springer
15 years 9 months ago
2004
Springer
Scheme includes a simple yet powerful macro mechanism. Using macros, programmers can easily extend the language with new kinds of expressions and definitions, thus abstracting ove...
148
click to vote
IWQOS
2004
Springer
15 years 9 months ago
2004
Springer
— We propose an algorithm for design and on the fly modification of the schedule of a wireless ad hoc network for provision of fair service guarantees under topological changes...
142
click to vote
IWQOS
2004
Springer
15 years 9 months ago
2004
Springer
— Clustering sensor nodes increases the scalability and energy efficiency of communications among them. In hostile environments, unexpected failures or attacks on cluster heads ...
139
click to vote
LOPSTR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Context-sensitive analysis provides information which is potentially more accurate than that provided by context-free analysis. Such information can then be applied in or...
127
click to vote
MFCS
2004
Springer
15 years 9 months ago
2004
Springer
We define BACI (Boxed Ambients with Communication Interfaces), an ambient calculus with a flexible communication policy. Traditionally, typed ambient calculi have a fixed commu...