4036 search results - page 534 / 808 » Formal Methods |
164
click to vote
LCN
2005
IEEE
16 years 6 days ago
2005
IEEE
Algorithms by which peers join and leave structured overlay networks can be classified as passive or active. Passive topology maintenance relies on periodic background repair of n...
185
click to vote
CI
2002
15 years 6 months ago
2002
This paper presents a formal framework and outlines a method that autonomous agents can use to negotiate the semantics of their communication language at run-time. Such an ability...
182
click to vote
ISBI
2009
IEEE
16 years 1 months ago
2009
IEEE
In refractory epilepsy, the goal of neuroimaging is to localize the region of seizure onset. Tracers that accumulate and remain fixed proportional to regional cerebral blood flo...
187
click to vote
ASWEC
2009
IEEE
16 years 1 months ago
2009
IEEE
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...
166
click to vote
AMAI
2007
Springer
15 years 6 months ago
2007
Springer
Abstract In many scenarios, a database instance violates a given set of integrity constraints. In such cases, it is often required to repair the database, that is, to restore its c...