4290 search results - page 45 / 858 » Formal Approaches to Teamwork |
161
click to vote
FLOPS
2006
Springer
15 years 10 months ago
2006
Springer
Pocklington certificates are known to provide short proofs of primality. We show how to perform this in the framework of formal, mechanically checked, proofs. We present an encodin...
159
click to vote
ICFEM
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Security protocols preserve essential properties, such as confidentiality and authentication, of electronically transmitted data. However, such properties cannot be dire...
153
click to vote
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a practical approach to a formal analysis of UMLbased models. This is achieved by an underlying formal representation in Z, which allows us to pose and dischar...
161
click to vote
IJBRA
2008
15 years 6 months ago
2008
: In this paper, we propose a refinement of the modelling of biological regulatory networks based on the discrete approach of Ren
143
click to vote
DATE
2006
IEEE
16 years 10 days ago
2006
IEEE
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...