157 search results - page 24 / 32 » Formal Modeling and Analysis of Hybrid Systems: A Case Study... |
EUROMICRO
2009
IEEE
14 years 11 days ago
2009
IEEE
Redundancy can improve the availability of components in service-oriented systems. However, predicting and quantifying the effects of different redundancy strategies can be a comp...
ATAL
2006
Springer
14 years 9 days ago
2006
Springer
We study how decentralized agents can develop a shared vocabulary without global coordination. Answering this question can help us understand the emergence of many communication s...
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. This paper shows that we can take advantage of information about the probabilities of the occurrences of events, when this information is available, to refine the classic...
IJNSEC
2007
13 years 8 months ago
2007
It is generally agreed that two key points always attract special concerns during the modelling of anomaly-based intrusion detection. One is the techniques about discerning two cl...
AC
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. There exists ample literature on Petri nets and its potential in the modelling, analysis, synthesis and implementation of systems in the manufacturing applications domain...