3729 search results - page 556 / 746 » On Formal Modeling of Agent Computations |
180
click to vote
EUROCAST
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
175
click to vote
AINA
2006
IEEE
15 years 10 months ago
2006
IEEE
Ad hoc networks are dynamic networks formed "on the fly" by a set of nodes. Achieving secure routing in such networks is a big challenge. Asymmetric signature schemes pr...
164
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. Each safety property can be associated with...
155
click to vote
BMVC
2000
15 years 7 months ago
2000
We develop a new formulation for including invariance in a general form of the Hough transform. We first develop a formal definition of the Hough transform mapping for arbitrary s...
227
click to vote
NGC
2006
Springer
15 years 6 months ago
2006
Springer
The work of Boden on the nature of creativity has been extremely influential, particularly the hypothesis that the highest form of creativity results from transformation of a conce...