10159 search results - page 250 / 2032 » System Design Validation Using Formal Models |
131
click to vote
FMICS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
113
click to vote
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
Threat modeling analyzes how an adversary might attack a system by supplying it with malicious data or interacting with it. The analysis uses a Data Flow Diagram (DFD) to describe...
132
click to vote
WSC
2004
15 years 4 months ago
2004
In order to support the conceptualization and specification of simulation models of complex systems, several formalisms or world views exist. Petri nets, differential equations, d...
101
click to vote
OTM
2005
Springer
15 years 8 months ago
2005
Springer
In this paper, we describe how ORM is extended, and combined with Concurrent Task Trees (CTT) to model the content as well as the functionality of a web system in the web design me...
139
click to vote
SAC
2010
ACM
15 years 8 months ago
2010
ACM
Hermes is an ontology-based framework for building news personalization services. This framework consists of a news classification phase, which classifies the news, a knowledge ...