3573 search results - page 365 / 715 » Reasoning about Codata |
129
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
BLIF is a hardware description language designed for the hierarchical description of sequential circuits. We give a denotational semantics for BLIF-MV, a popular dialect of BLIF, t...
141
click to vote
IDMS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper presents a framework for monitoring component interactions. It is part of a larger component framework built on top of the CORBA distributed processing environ...
168
click to vote
SPATIALCOGNITION
2000
Springer
15 years 8 months ago
2000
Springer
This work is about the integration of the skills robot control, landmark recognition, and qualitative reasoning in a single autonomous mobile system. It deals with the transfer of ...
264
click to vote
ICDT
1995
ACM
15 years 8 months ago
1995
ACM
Abstract. Extension of the relational database model to represent complex data has been a focus of much research in recent years. At the same time, an alternative extension of the ...
133
click to vote
HYBRID
1992
Springer
15 years 8 months ago
1992
Springer
This paper demonstrates how the extended duration calculus [4] can be used to support the approach to documentation of computer systems presented by in [1]. This approach uses the ...