3429 search results - page 368 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
148
click to vote
IKE
2007
15 years 6 months ago
2007
The paper presents an integrated set-theoretic data model that offers a framework for defining a unified schema for any database environment. We utilise the concepts ”entity...
142
click to vote
PVLDB
2008
15 years 4 months ago
2008
This paper describes a unification of two different SQL extensions for streams and its associated semantics. We use the data models from Oracle and StreamBase as our examples. Ora...
150
click to vote
ECMDAFA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Current mobile digital communication systems must implement rigorous operations to guarantee high levels of confidentiality and integrity during transmission of critical ...
151
click to vote
ASPDAC
2007
ACM
15 years 9 months ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
148
click to vote
TOG
2008
15 years 4 months ago
2008
This paper addresses the problem of interactively modeling large street networks. We introduce a modeling framework that uses tensor fields to guide the generation of a street gra...