Sciweavers

1739 search results - page 173 / 348
» Battery Model for Embedded Systems
Sort
View
JSI
1998
125views more  JSI 1998»
15 years 3 months ago
The Algebraic Framework for Object-Oriented Systems
Abstract. Category Theory is introduced as the mathematical model for object-oriented systems which are distributed, heterogeneous, real-time, embedded, and open-ended. Each object...
D. H. H. Yoon
143
Voted
CAV
2010
Springer
227views Hardware» more  CAV 2010»
15 years 1 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé
135
Voted
CVPR
2006
IEEE
16 years 5 months ago
Epipolar Geometry of Central Projection Systems Using Veronese Maps
We study the epipolar geometry between views acquired by mixtures of central projection systems including catadioptric sensors and cameras with lens distortion. Since the projecti...
João P. Barreto, Kostas Daniilidis
127
Voted
HCSE
2010
15 years 1 months ago
The Secret Lives of Assumptions: Developing and Refining Assumption Personas for Secure System Design
Personas are useful for obtaining an empirically grounded understanding of a secure system's user population, its contexts of use, and possible vulnerabilities and threats end...
Shamal Faily, Ivan Flechais
FLAIRS
2010
15 years 5 months ago
Commonsense Inference in Dynamic Spatial Systems: Epistemological Requirements
We demonstrate the role of commonsense inference toward the modeling of qualitative notions of space and spatial change within a dynamic setup. The inference patterns are connecte...
Mehul Bhatt