1099 search results - page 169 / 220 » A tool for assisting the understanding and formal developmen... |
ICFP
2012
ACM
11 years 11 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
IDTRUST
2010
ACM
14 years 4 months ago
2010
ACM
Natural-language policies found in X.509 PKI describe an organization’s stated policy as a set of requirements for trust. The widespread use of X.509 underscores the importance ...
KBSE
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
SIGCSE
2004
ACM
14 years 2 months ago
2004
ACM
The event driven paradigm is ubiquitous in modern software. Many texts introduce events when discussing graphical user interfaces, but the event paradigm extends well beyond that ...
UIST
2006
ACM
14 years 3 months ago
2006
ACM
Despite the ubiquity of slide presentations, managing multiple presentations remains a challenge. Understanding how multiple versions of a presentation are related to one another,...