8828 search results - page 207 / 1766 » Formal methods in practice |
133
Voted
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...
127
Voted
GECCO
2008
Springer
15 years 6 months ago
2008
Springer
The landscape formalism unites a finite candidate solution set to a neighborhood topology and an objective function. This construct can be used to model the behavior of local sea...
83
Voted
CSDA
2010
15 years 5 months ago
2010
This paper considers tests for cointegration with allowance for structural breaks, using the extrema of residual-based tests over subsamples of the data. One motivation for the ap...
134
Voted
ECEASST
2008
15 years 5 months ago
2008
: The Resource Description Framework (RDF) is a standard developed by the World Wide Web Consortium (W3C) to facilitate the representation and exchange of structured (meta-)data in...
117
Voted
ENTCS
2008
15 years 5 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...