4340 search results - page 497 / 868 » Formal Methods and Cryptography |
244
click to vote
IFL
2007
Springer
16 years 26 days 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...
179
click to vote
MKM
2007
Springer
16 years 26 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...
175
click to vote
PDCAT
2007
Springer
16 years 26 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...
173
click to vote
ICECCS
2006
IEEE
16 years 23 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...
198
click to vote
TAICPART
2006
IEEE
16 years 22 days ago
2006
IEEE
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...