3828 search results - page 99 / 766 » Proof-Based System Engineering Using a Virtual System Model |
118
Voted
EMSOFT
2007
Springer
2007
Springer
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
15 years 8 months ago
This paper gives a semantics for discrete-event (DE) models that generalizes that of synchronous/reactive (SR) languages, and a continuous-time (CT) semantics that generalizes the...
103
click to vote
ISCAS
2003
IEEE
15 years 8 months ago
2003
IEEE
The neural computations that support bat echolocation are of great interest to both neuroscientists and engineers, due to the complex and extremely time-constrained nature of the ...
146
Voted
CN
2007
15 years 2 months ago
2007
: Intrusion detection systems continuously watch the activity of a network or computer, looking for attack or intrusion evidences. However, hostbased intrusion detectors are partic...
SAC
2009
ACM
15 years 7 months ago
2009
ACM
Component systems have become a wide-spread technology and found their place in several application domains. Each component system has its speciļ¬cs and particularities that reļ¬...
103
Voted
WSC
2004
15 years 4 months ago
2004
This paper presents VITASCOPE, a general-purpose, userextensible 3D visualization system for animating processes that are modeled using Discrete-Event Simulation tools. VITASCOPE ...