549 search results - page 29 / 110 » Verification condition generation for conditional informatio... |
97
Voted
WCE
2007
15 years 1 months ago
2007
—In this paper we propose a multi-agent approach for traffic-light control. According to this approach, our system consists of agents and their world. In this context, the world ...
95
Voted
UTP
2010
14 years 10 months ago
2010
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...
121
Voted
PE
2008
Springer
15 years 13 days ago
2008
Springer
TCP-based data flows generate packets and ACKs in two directions, be it in the wireline or wireless networks. In the latter case, packets are typically found in the downlink where...
102
click to vote
POPL
2010
ACM
15 years 10 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
DAGSTUHL
2007
15 years 1 months ago
2007
The elderly is characterized by age related capabilities and handicaps. Whereas age related capabilities like plasticity and adaptability on changing living conditions can lead to ...