Sciweavers

1502 search results - page 96 / 301
» Computational Realizations of Living Systems
Sort
View
138
Voted
NSPW
2004
ACM
15 years 10 months ago
Property-based attestation for computing platforms: caring about properties, not mechanisms
Over the past years, the computing industry has started various initiatives announced to increase computer security by means of new hardware architectures. The most notable effort...
Ahmad-Reza Sadeghi, Christian Stüble
FMOODS
2007
15 years 6 months ago
Model Checking of Extended OCL Constraints on UML Models in SOCLe
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
John Mullins, Raveca Oarga
ICOST
2011
Springer
14 years 8 months ago
Fall Detection from Depth Map Video Sequences
Falls are one of the major risks for seniors living alone at home. Computer vision systems, which do not require to wear sensors, offer a new and promising solution for fall detec...
Caroline Rougier, Edouard Auvinet, Jacqueline Rous...
SASO
2008
IEEE
15 years 11 months ago
An Emergent System for Self-Aligning and Self-Organizing Shape Primitives
Motivated by the natural phenomenon of living cells selforganizing into specific shapes and structures, we present an emergent system that utilizes evolutionary computing methods...
Linge Bai, Manolya Eyiyurekli, David E. Breen
IEEECIT
2009
IEEE
15 years 11 months ago
Dynamic Software Product Lines for Service-Based Systems
—Ageing populations and the necessity to reduce environmental impact raise new challenges on our living buildings. Convergence of home control systems (air conditioning, light ma...
Paul Istoan, Grégory Nain, Gilles Perrouin,...