3931 search results - page 322 / 787 » Separation logic and abstraction |
164
click to vote
RSP
2000
IEEE
15 years 10 months ago
2000
IEEE
Networked reconfiguration is an enabling technology for cost effective service deployment and maintenance. A hardware virtual machine to enable this networked reconfigurapresented...
193
click to vote
BILDMED
2007
15 years 8 months ago
2007
Abstract. In this paper we propose a structured approach for the simulation of the human body which is comprehensive and extendable. Our architecture resembles the human organism a...
171
click to vote
FMSD
2008
15 years 6 months ago
2008
Abstract. This paper is concerned with the derivation of infinite schedules for timed automata that are in some sense optimal. To cover a wide class of optimality criteria we start...
197
click to vote
DIAGRAMS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Investigating the expressiveness of a diagrammatic logic provides insight into how its syntactic elements interact at the semantic level. Moreover, it allows for comparis...
191
click to vote
APLAS
2004
ACM
16 years 7 days ago
2004
ACM
Abstract. More than being just a tool for expressing algorithms, a welldesigned programming language allows the user to express her ideas efficiently. The design choices however eï...