18094 search results - page 3225 / 3619 » The Architecture of Secure Systems |
217
Voted
UML
2005
Springer
16 years 10 days ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
194
Voted
MSWIM
2004
ACM
16 years 8 days ago
2004
ACM
Today, three different physical (PHY) layers for the IEEE 802.11 WLAN are available (802.11a/b/g); they all provide multi-rate capabilities. To achieve a high performance under v...
196
Voted
RAID
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Monitoring unused or dark IP addresses offers opportunities to significantly improve and expand knowledge of abuse activity without many of the problems associated with ...
162
Voted
COOPIS
2003
IEEE
16 years 5 days ago
2003
IEEE
Awareness has now become a widely accepted central feature in groupware systems. In this context, providing an awareness support consists in delivering to users involved in a colla...
225
click to vote
KBSE
2003
IEEE
16 years 4 days ago
2003
IEEE
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...