99 search results - page 19 / 20 » On the interpretation of binary associations in the Unified ... |
ICLP
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
ENTCS
2007
13 years 5 months ago
2007
ly positive maps (extended abstract) Peter Selinger 1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada Dagger compact closed categories ...
DBSEC
2004
13 years 7 months ago
2004
In software construction, analysis investigates the boundary of a system (scope and requirements), its usage and access, and from a security perspective, who needs access to what ...
MFPS
1989
13 years 9 months ago
1989
We define a simple collection of operations for creating and manipulating record structures, where records are intended as finite associations of values to labels. A second-order ...
PODC
1999
ACM
13 years 10 months ago
1999
ACM
The dynamically configurable distributed object (DCDO) model helps enable object evolution and facilitate the development of distributed objects from multiple independent implemen...