4595 search results - page 619 / 919 » Reasoning about Plans |
100
click to vote
ICFP
2008
ACM
16 years 20 days ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
142
click to vote
ICFP
2006
ACM
16 years 20 days ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
82
Voted
CHI
2010
ACM
15 years 7 months ago
2010
ACM
Applications that provide location-based experiences are an increasingly viable design space given the proliferation of GPS-enabled mobile devices. However, these applications are...
113
click to vote
CSFW
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
87
Voted
GLOBECOM
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— Policy based networks provide high levels of flexibility by allowing definition of packet handling rules within a network, resource allocation strategies, network man...