4211 search results - page 537 / 843 » A formal approach to MASQ |
152
click to vote
ER
2007
Springer
16 years 27 days ago
2007
Springer
Software systems embed in them knowledge about the domain in which they operate. However, this knowledge is “latent”. Making such knowledge accessible could be of great value ...
185
click to vote
FROCOS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
148
click to vote
GECCO
2007
Springer
16 years 27 days ago
2007
Springer
Forma analysis provides an approach to formally derive domain specific operators based on domain-independent operator templates by manipulating a set of equivalence relations (i....
151
click to vote
HOLOMAS
2007
Springer
16 years 27 days ago
2007
Springer
We present a formal approach to conception of a dedicated security infrastructure based on the exception handling in the protected agents. Securityrelated exceptions are identifie...
146
click to vote
ICCS
2007
Springer
16 years 27 days ago
2007
Springer
A model of computation (MoC) is a formal abstraction of execution in a computer. There is a need for composing MoCs in e-science. Kepler, which is based on Ptolemy II, is a scienti...