10916 search results - page 1891 / 2184 » On Constructive Connectives and Systems |
171
click to vote
ESORICS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Hippocratic Databases have been proposed as a mechanism to guarantee the respect of privacy principles in data management. We argue that three major principles are missin...
189
click to vote
FASE
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
167
click to vote
FSTTCS
2005
Springer
16 years 7 days ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
148
click to vote
GECCO
2005
Springer
16 years 7 days ago
2005
Springer
We present the first hardware-in-the-loop evolutionary optimization on an ornithopter. Our experiments demonstrate the feasibility of evolving flight through genetic algorithms an...
158
click to vote
GECCO
2005
Springer
16 years 7 days ago
2005
Springer
Designing technical plants is a complex and demanding process. It has been shown that the optimization of the simple facility placement problem is already NP-hard. Optimization of...