2272 search results - page 58 / 455 » Validity Invariants and Effects |
TACAS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
INFORMATICALT
2008
13 years 7 months ago
2008
This paper presents a method of minutiae based fingerprint matching that is robust to deformations and does not do fingerprint alignment. It concentrates on comparing rotation and ...
APSEC
2006
IEEE
14 years 1 months ago
2006
IEEE
Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (suc...
GECCO
2000
Springer
13 years 11 months ago
2000
Springer
This paper presents the emergence of the cooperative behavior for multiple agents by means of Genetic Programming (GP). For the purpose of evolving the effective cooperative behav...
IADIS
2003
13 years 9 months ago
2003
Despite numerous frameworks and models proposed in the literature, Information Systems (IS) assessment still remains elusive. Above all, there is little agreement on the contribut...