4488 search results - page 168 / 898 » Properties of NP-Complete Sets |
141
click to vote
CALCO
2007
Springer
15 years 11 months ago
2007
Springer
Metric coinduction is a form of coinduction that can be used to establish properties of objects constructed as a limit of finite approximations. One can prove a coinduction step s...
153
click to vote
CSFW
2006
IEEE
15 years 11 months ago
2006
IEEE
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...
123
Voted
AAMAS
2005
Springer
15 years 11 months ago
2005
Springer
It is difficult to define a set of rules for a cellular automaton (CA) such that creatures with life-like properties (stability and dynamic behaviour, reproducton and self-repai...
157
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...
130
click to vote
SAFECOMP
2005
Springer
15 years 11 months ago
2005
Springer
When the safety community designs their systems to also maintain security properties, it is likely that public-key encryption will be among the tools that are applied. The security...