Sciweavers

1404 search results - page 138 / 281
» On the Behavior of Complex Object-Oriented Systems
Sort
View
ICFEM
2007
Springer
16 years 4 days ago
Machine-Assisted Proof Support for Validation Beyond Simulink
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
Chunqing Chen, Jin Song Dong, Jun Sun 0001
PCI
2005
Springer
15 years 11 months ago
Middleware for Building Ubiquitous Computing Applications Using Distributed Objects
Ubiquitous systems are characterized by multi-fold complexity, stemming mainly from the vast number of possible interactions between many heterogeneous objects and services. Device...
Nicolas Drossos, Eleni Christopoulou, Achilles Kam...
SAB
2010
Springer
242views Optimization» more  SAB 2010»
15 years 3 months ago
Autonomous Development of Social Referencing Skills
Abstract. In this work, we are interested in understanding how emotional interactions with a social partner can bootstrap increasingly complex behaviors such as social referencing....
Sofiane Boucenna, Philippe Gaussier, Laurence Hafe...
FPL
2001
Springer
102views Hardware» more  FPL 2001»
15 years 10 months ago
Technology Trends and Adaptive Computing
System and processor architectures depend on changes in technology. Looking ahead as die density and speed increase, power consumption and on chip interconnection delay become incr...
Michael J. Flynn, Albert A. Liddicoat
ACMIDC
2010
15 years 10 months ago
BeeSim: leveraging wearable computers in participatory simulations with young children
New technologies have enabled students to become active participants in computational simulations of dynamic and complex systems (called Participatory Simulations), providing a &q...
Kylie A. Peppler, Joshua A. Danish, Benjamin Zaitl...