1636 search results - page 67 / 328 » Reasoning About Quantum Systems |
140
click to vote
SAFECOMP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
182
click to vote
FUZZIEEE
2007
IEEE
15 years 10 months ago
2007
IEEE
A central role of Geographic Information Systems (GIS) is to allow the identification and visualisation of relevant spatial features from typically large volumes of data. This requ...
185
click to vote
FLOPS
2010
Springer
16 years 28 days ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
149
click to vote
CIA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Agent’s meta-reasoning is a computational process that implements agent’s capability to reason on a higher level about another agent or a community of agents. There i...
156
click to vote
POPL
1998
ACM
15 years 10 months ago
1998
ACM
Recent years have seen increasing interest in systems that reason about and manipulate executable code. Such systems can generally benefit from information about aliasing. Unfort...