Sciweavers

8132 search results - page 168 / 1627
» Dependability, Abstraction, and Programming
Sort
View
COSIT
2007
Springer
103views GIS» more  COSIT 2007»
15 years 8 months ago
Scale-Dependent Simplification of 3D Building Models Based on Cell Decomposition and Primitive Instancing
Abstract. The paper proposes a novel approach for a scale-dependent geometric simplification of 3D building models that are an integral part of virtual cities. In contrast to real-...
Martin Kada
DAGSTUHL
2006
15 years 8 months ago
Context Dependent Analysis of BioAmbients
BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of biological systems. The technical contribution of this...
Henrik Pilegaard, Hanne Riis Nielson, Flemming Nie...
ISSE
2006
15 years 6 months ago
Modeling security as a dependability attribute: a refinement-based approach
Abstract As distributed, networked computing systems become the dominant computing platform in a growing range of applications, they increase opportunities for security violations ...
Ali Mili, Frederick T. Sheldon, Lamia Labed Jilani...
TNN
2008
95views more  TNN 2008»
15 years 6 months ago
Minimizing the Effect of Process Mismatch in a Neuromorphic System Using Spike-Timing-Dependent Adaptation
Abstract--This paper investigates whether spike-timing-dependent plasticity (STDP) can minimize the effect of mismatch within the context of a depth-from-motion algorithm. To impro...
Katherine Cameron, Alan Murray
QSIC
2006
IEEE
16 years 16 days ago
Static Slicing for Pervasive Programs
Pervasive programs should be context-aware, which means that program functions should react according to changing environmental conditions. Slicing, as an important class of code ...
Heng Lu, W. K. Chan, T. H. Tse