440 search results - page 46 / 88 » Local reasoning for abstraction and sharing |
121
click to vote
INFOCOM
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— In this paper we evaluate interactions among flowlevel performance metrics when integrating QoS and best effort flows in a wireless system using opportunistic schedul...
117
click to vote
FOSSACS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
111
click to vote
TFM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
SMC
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— Human-robot collaborative task achievement requires the robot to reason not only about its current beliefs but also about the ones of its human partner. In this paper, ...
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
ose of the JVM is to abstract the Java language from the hardware and software platforms it runs on. For this reason, the JVM uses services offered by the host operating system in...