4890 search results - page 543 / 978 » From system specifications to component behavioral models |
198
Voted
DATE
2005
IEEE
16 years 27 days ago
2005
IEEE
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...
187
Voted
ESORICS
2009
Springer
16 years 8 months ago
2009
Springer
A botnet is a network of compromised hosts that is under the control of a single, malicious entity, often called the botmaster. We present a system that aims to detect bots, indepe...
199
Voted
WICSA
2008
15 years 8 months ago
2008
Evolution is a permanent challenge in product line engineering. Reusable assets such as software components or documents evolve continuously due to new customer requirements or te...
200
Voted
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Bayesian filtering is a general framework for recursively estimating the state of a dynamical system. The most common instantiations of Bayes filters are Kalman filt...
212
Voted
EVOW
2006
Springer
15 years 11 months ago
2006
Springer
A new method for the analysis of 3D medical images is introduced. The algorithm is based on Biological Models of ants known as Artificial Life models. Test images (lung Computed To...