536 search results - page 13 / 108 » A computer verified, monadic, functional implementation of t... |
HICSS
1994
IEEE
15 years 3 months ago
1994
IEEE
Meeting memory features are poorly integrated into current group support systems (GSS). This paper discusses how to introduce meeting memory functionality into a GSS. The paper fi...
194
click to vote
POPL
2008
ACM
16 years 4 hour ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
OSDI
2006
ACM
15 years 12 months ago
2006
ACM
XFI is a comprehensive protection system that offers both flexible access control and fundamental integrity guarantees, at any privilege level and even for legacy code in commodit...
COMPUTING
2006
14 years 11 months ago
2006
The polyhedral homotopy continuation method is known to be a successful method for finding all isolated solutions of a system of polynomial equations. PHoM, an implementation of t...
118
click to vote
FAC
2010
14 years 9 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...