3333 search results - page 311 / 667 » Abstract Proof Search |
163
click to vote
CPP
2011
14 years 6 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...
182
click to vote
MMM
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. The paper presents a new approach on an omni-directional omnistereo multi-camera system that allows the recording of panoramic 3D video with high resolution and quality a...
215
click to vote
POST
2012
14 years 2 months ago
2012
Abstract. We formally analyze the family of entity authentication protocols defined by the ISO/IEC 9798 standard and find numerous weaknesses, both old and new, including some th...
193
click to vote
VMCAI
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. Recently, a general framework on characteristic formulae was proposed by Aceto et al. It offers a simple theory that allows one to easily obtain characteristic formulae o...
276
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. BioModel Analyzer (bma) is a tool for modeling and analyzing biological networks. Designed with a lightweight graphical user interface, the tool facilitates usage for bio...