1283 search results - page 225 / 257 » A Survey on Temporal Logics |
DOCENG
2006
ACM
15 years 4 months ago
2006
ACM
In some hypermedia system applications, like interactive digital TV applications, authoring and presentation of documents may have to be done concomitantly. This is the case of li...
ERLANG
2006
ACM
15 years 4 months ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
ASYNC
2005
IEEE
15 years 4 months ago
2005
IEEE
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...
CSFW
2005
IEEE
15 years 4 months ago
2005
IEEE
Modelling security policies requires means to specify permissions and prohibitions. However, this is generally not sufficient to express security properties such as availability ...
108
click to vote
CSFW
2005
IEEE
15 years 4 months ago
2005
IEEE
Availability is a critical issue in modern distributed systems. While many techniques and protocols for preventing denial of service (DoS) attacks have been proposed and deployed ...