Sciweavers

2192 search results - page 308 / 439
» Embedded function composition
Sort
View
ICWE
2010
Springer
13 years 8 months ago
Mashing Up Your Web-Enabled Home
Many efforts are currently going towards networking smart things from the physical world (e.g. RFID, wireless sensor and actuator networks, embedded devices) on a larger scale. Rat...
Dominique Guinard
JSC
2010
60views more  JSC 2010»
13 years 8 months ago
On non-defectivity of certain Segre-Veronese varieties
Let Xm,n be the Segre-Veronese variety Pm ×Pn embedded by the morphism given by O(1, 2) and let σs(Xm,n) denote the sth secant variety to Xm,n. In this paper, we prove that if m ...
Hirotachi Abo
SPIN
2010
Springer
13 years 8 months ago
Automatic Generation of Model Checking Scripts Based on Environment Modeling
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
Kenro Yatake, Toshiaki Aoki
ICTAI
2010
IEEE
13 years 8 months ago
Metropolis Particle Swarm Optimization Algorithm with Mutation Operator for Global Optimization Problems
When a local optimal solution is reached with classical Particle Swarm Optimization (PSO), all particles in the swarm gather around it, and escaping from this local optima becomes...
Lhassane Idoumghar, M. Idrissi-Aouad, Mahmoud Melk...
APSEC
2010
IEEE
13 years 5 months ago
Testing Inter-layer and Inter-task Interactions in RTES Applications
Abstract--Real-time embedded systems (RTESs) are becoming increasingly ubiquitous, controlling a wide variety of popular and safety-critical devices. Effective testing techniques c...
Ahyoung Sung, Witawas Srisa-an, Gregg Rothermel, T...