3005 search results - page 443 / 601 » Logical Information Systems: from Taxonomies to Logics |
128
click to vote
CONTEXT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper we propose to re-read the past work on formalizing context as the search for a logic of the relationships between partial, approximate, and perspectival the...
188
click to vote
BIRTHDAY
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
160
click to vote
CF
2004
ACM
15 years 10 months ago
2004
ACM
In this paper we present a novel methodology for partial (re-)configuration that can be used for most bitstream configured hardware (HW). In particular low priced and not for part...
195
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, a novel method for high-level specification and validation of SoC designs using UML is proposed. UML is introduced as a formal model of specification for SoC design...
161
click to vote
VL
1995
IEEE
15 years 10 months ago
1995
IEEE
After more than a decade of research, visual languages have still not become everyday programming tools. On a short term, an integration of visual languages with well-established ...