104 search results - page 5 / 21 » Implementing Model-Based Data Structures using Transient Mod... |
FORMATS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
TACAS
2001
Springer
14 years 2 months ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
COMGEO
2007
ACM
13 years 9 months ago
2007
ACM
In this paper we present a package for implementing exact kinetic data structures built on objects which move along polynomial trajectories. We discuss how the package design was ...
WSC
2007
14 years 1 days ago
2007
This article gives an overview of a framework for automatically generating large-scale simulation models from a domain specific problem definition data schema, here semiconductor ...
COLING
1992
13 years 11 months ago
1992
-- To date, no fully suitable data model for lexical databases has been proposed. As lexical databases have proliferated in multiple formats, there has been growing concern over th...