3516 search results - page 499 / 704 » Integrating Security Modeling into Embedded System Design |
118
click to vote
IUI
2004
ACM
15 years 10 months ago
2004
ACM
The usefulness of ontology is strongly dependent on the knowledge representation policy and its maintenance. The subject of knowledge representation and modeling tool has been one...
100
click to vote
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...
138
click to vote
WWW
2002
ACM
16 years 5 months ago
2002
ACM
Multimedia scheduling models provide a rich variety of tools for managing the synchronization of media like video and audio, but generally have an inflexible model for time itself...
192
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
In this paper, we propose a novel predictive model for
object boundary, which can integrate information from any
sources. The model is a dynamic “object” model whose
manifes...
141
click to vote
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...