5255 search results - page 658 / 1051 » Formal Methods for Privacy |
171
click to vote
FORMATS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a systematic translation from timed models of genetic regulatory networks into products of timed automata to which one can apply verification tools in order l...
248
click to vote
IFL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
184
click to vote
MKM
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We explore mathematical knowledge in the field of electrical engineering and claim that electrical engineering is a suitable area of application for mathematical knowled...
180
click to vote
PDCAT
2007
Springer
16 years 29 days ago
2007
Springer
A communication protocol is a fundamental component of a multi-agent system. The security requirements for a communication protocol should be articulated during the early stages o...
180
click to vote
ICECCS
2006
IEEE
16 years 26 days ago
2006
IEEE
This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...