25 search results - page 5 / 5 » A Mechanization of Strong Kleene Logic for Partial Functions |
CAISE
2004
Springer
13 years 11 months ago
2004
Springer
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
BMCBI
2007
13 years 6 months ago
2007
Background: Gene expression microarray and other multiplex data hold promise for addressing the challenges of cellular complexity, refined diagnoses and the discovery of well-targ...
ENTCS
2006
13 years 6 months ago
2006
Anonymity means that the identity of the user performing a certain action is maintained secret. The protocols for ensuring anonymity often use random mechanisms which can be descr...
AOSD
2010
ACM
14 years 1 months ago
2010
ACM
Advice is a mechanism, widely used in aspect-oriented languages, that allows one program component to augment or modify the behavior of other components. When advice and other com...
SIGCOMM
1991
ACM
13 years 9 months ago
1991
ACM
We consider the problem of providing network access to hosts whose physical location changes with time. Such hosts cannot depend on traditional forms of network connectivity and r...