2661 search results - page 116 / 533 » Model Checking Performability Properties |
122
Voted
ADHOCNOW
2008
Springer
15 years 9 months ago
2008
Springer
Ad hoc networks are exposed more than traditional networks to security threats due to their mobility and open architecture aspects. In addition, any dysfunction due to badly con gu...
126
Voted
CSFW
2004
IEEE
15 years 6 months ago
2004
IEEE
Information flow security properties such as noninterference ensure the protection of confidential data by strongly limiting the flow of sensitive information. However, to deal wi...
164
Voted
ICDT
2009
ACM
15 years 9 days ago
2009
ACM
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
127
Voted
AOSE
2005
Springer
15 years 8 months ago
2005
Springer
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...
121
Voted
ICTAC
2005
Springer
15 years 8 months ago
2005
Springer
In distributed and mobile systems with volatile bandwidth and fragile connectivity, non-functional aspects like performance and reliability become more and more important. To forma...