2043 search results - page 293 / 409 » Reasoning About Security Models |
101
Voted
FSTTCS
2009
Springer
15 years 7 months ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...
88
Voted
IAT
2008
IEEE
15 years 7 months ago
2008
IEEE
The use of rational agents for modelling real world problems has both been heavily investigated and become well accepted, with BDI Logic being a widely used architecture to repres...
96
Voted
FSEN
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. A communication protocol consists of a sequence of messages used by peer entities to communicate. Each entity in a network is equipped by at least one protocol stack. Due...
107
Voted
ICANN
2007
Springer
15 years 6 months ago
2007
Springer
Neurocognitive processes responsible for representation of meaning and understanding of words are investigated. First a review of current knowledge about word representation, recen...
91
Voted
SAS
2007
Springer
15 years 6 months ago
2007
Springer
Variables in programs are usually confined to a fixed number of bits and results that require more bits are truncated. Due to the use of 32-bit and 64-bit variables, inadvertent ...