1481 search results - page 264 / 297 » Enriching the Software Development Process by Formal Methods |
125
click to vote
AIIA
1995
Springer
15 years 3 months ago
1995
Springer
Genetic Programming (GP) is a method of automatically inducing programs by representing them as parse trees. In theory, programs in any computer languages can be translated to par...
121
click to vote
ECAI
2010
Springer
15 years 7 hour ago
2010
Springer
Abstract. For autonomous systems such as unmanned aerial vehicles to successfully perform complex missions, a great deal of embedded reasoning is required at varying levels of abst...
101
click to vote
JALC
2006
14 years 11 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
112
click to vote
CIKM
2010
Springer
14 years 10 months ago
2010
Springer
Enterprises provide professionally authored content about their products/services in different languages for use in web sites and customer care. For customer care, personalization...
118
click to vote
CCS
2011
ACM
13 years 11 months ago
2011
ACM
We consider security properties of cryptographic protocols that can be modeled using the notion of trace equivalence. The notion of equivalence is crucial when specifying privacy-...