12333 search results - page 584 / 2467 » System Level Modelling for Hardware Software Systems |
208
click to vote
SOCIALCOM
2010
15 years 1 months ago
2010
Protecting the integrity of software platforms, especially in unmanaged consumer computing systems is a difficult problem. Attackers may attempt to execute buffer overflow attacks ...
212
click to vote
ADAEUROPE
2005
Springer
16 years 19 days ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
194
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
In this paper, we describe two mission critical applications currently deployed by Telecom Italia in the Operations Support System domains. The first one called "Network Neut...
186
click to vote
ECAL
2003
Springer
16 years 9 days ago
2003
Springer
Abstract. We present a variant of the snapshot model [1] for insect visual homing. In this model a snapshot image is taken by an agent at the goal position. The disparity between c...
148
click to vote
IEE
2000
15 years 6 months ago
2000
: Existing approaches to modelling software systems all too often neglect the issue of component-mismatch identi