5863 search results - page 157 / 1173 » On Model-Checking of P Systems |
163
click to vote
FM
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
140
click to vote
CASSIS
2004
Springer
15 years 11 months ago
2004
Springer
Security policies are rules that constrain the behaviour of a system. Different, largely unrelated sets of rules typically govern the physical and logical worlds. However, increa...
164
click to vote
CAV
2010
Springer
15 years 9 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
173
click to vote
AINA
2009
IEEE
16 years 29 days ago
2009
IEEE
The easy deployment of P2P self-organized systems has contributed to their wide diffusion and to the definition of a new communication paradigm. Mobile communities can now sponta...
142
click to vote
SIGMETRICS
2006
ACM
16 years 3 days ago
2006
ACM
P2P systems are highly vulnerable to pollution attacks in which attackers inject multiple versions of corrupted content into the system, which is then further proliferated by unsu...