2875 search results - page 394 / 575 » Model checking agentspeak |
112
click to vote
FORTE
2000
15 years 4 months ago
2000
The paper addresses the problem of test derivation from partially defined specifications. A specification is modeled by an Input/Output FSM such that transitions from some states ...
162
click to vote
SOFTVIS
2010
ACM
15 years 3 months ago
2010
ACM
Multi-core processors have become increasingly prevalent, driving a software shift toward concurrent programs which best utilize these processors. Testing and debugging concurrent...
102
click to vote
ENTCS
2010
15 years 3 months ago
2010
The crucial strength of the component paradigm lies in the possibility to encapsulate behaviours. In this work, we focus on the observable behaviour of composite components which ...
106
click to vote
ENTCS
2007
15 years 3 months ago
2007
We present a powerful and flexible method for automatically checking the secrecy of values inside components. In our framework an attacker may monitor the external communication ...
121
click to vote
CJ
2004
15 years 2 months ago
2004
act interpretation. R. Barbuti, C. Bernardeschi and N. De Francesco With mobile technology more and more prominent, the problem of security leakages becomes more and more important...