10159 search results - page 648 / 2032 » System Design Validation Using Formal Models |
212
click to vote
ECMDAFA
2008
Springer
15 years 9 months ago
2008
Springer
Model transformations support a model-driven design by providing an c translation of abstract models into more concrete ones, and eventually program code. Crucial to a successful a...
228
click to vote
DAWAK
2004
Springer
16 years 19 days ago
2004
Springer
EXtensible Markup Language (XML) has emerged as the dominant standard in describing and exchanging data among heterogeneous data sources. XML with its self-describing hierarchical ...
184
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
—Huge new design challenges for system-on-chip (SoC) are the result of decreasing time-to-market coupled with rapidly increasing gate counts and embedded software representing 50...
201
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...
217
click to vote
MM
2005
ACM
16 years 25 days ago
2005
ACM
In this paper, we are interested in adaptation mechanisms for the design, creation and experimentation of adaptive and interactive new media artworks. Through a concrete case stud...