5255 search results - page 782 / 1051 » Formal Methods for Privacy |
153
click to vote
IV
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper describes a technology for modelling and rendering heterogeneous objects containing entities of various dimensionalities within a cellular-functional framework based on...
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...
156
click to vote
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
There is a wide agreement on the use of norms in order to specify the expected behaviour of agents in open MAS. However, in highly regulated domains, where norms dictate what can a...
132
click to vote
CALCO
2005
Springer
16 years 5 days ago
2005
Springer
In the specific situation of formal reasoning concerned with “regular expression equivalence” we address instances of more general questions such as: how can coinductive argum...
166
click to vote
CAV
2005
Springer
16 years 5 days ago
2005
Springer
This paper presents a toolset for model checking x86 executables. The members of the toolset are CodeSurfer/x86, WPDS++, and the Path Inspector. CodeSurfer/x86 is used to extract a...