1613 search results - page 157 / 323 » Model-Driven Constraint Engineering |
120
Voted
WOLLIC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Database design aims to find a database schema that permits the efficient processing of common types of queries and updates on future database instances. Full first-ord...
119
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents the Block Processing Engine (BPE), an Application Specific Instruction-Set Processor (ASIP) explicitly designed for the implementation of multistandard wireles...
161
click to vote
ISORC
2005
IEEE
15 years 9 months ago
2005
IEEE
One of the main challenges in getting acceptance for safe object-oriented languages in hard real-time systems is to combine automatic memory management with hard real-time constra...
136
Voted
RISE
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
134
click to vote
GLOBE
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We show how to specify and use the metadata for a virtual and relational data integration system under the local-as-view (LAV) approach. We use XML and RuleML for represe...