Sciweavers

22864 search results - page 4247 / 4573
» An Integrated and
Sort
View
HYBRID
2010
Springer
15 years 12 months ago
Safe compositional network sketches: formal framework
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
Azer Bestavros, Assaf J. Kfoury, Andrei Lapets, Mi...
PROPOR
2010
Springer
142views Languages» more  PROPOR 2010»
15 years 12 months ago
Voice Quality of European Portuguese Emotional Speech
An acoustic analysis was conducted to investigate parameters related to Voice Quality in European Portuguese (EP) speech conveying several emotions. Our main objectives were: to o...
Ana Nunes, Rosa Lídia Coimbra, Antón...
AINA
2009
IEEE
15 years 12 months ago
Services to the Field: An Approach for Resource Constrained Sensor/Actor Networks
Nowadays more and more devices of daily life are connected to each other and are integrated into massively distributed networks of embedded devices. These devices range from consu...
Christian Buckl, Stephan Sommer, Andreas Scholz, A...
AINA
2010
IEEE
15 years 12 months ago
Towards Adaptive Mobile Mashups: Opportunities for Designing Effective Persuasive Technology on the Road
— Today’s vehicles and on-road infrastructures are equipped with a large number of sophisticated sensory devices. These sensory devices are capable of monitoring and providing ...
Flora Dilys Salim
GLVLSI
2010
IEEE
171views VLSI» more  GLVLSI 2010»
15 years 12 months ago
Timing-driven variation-aware nonuniform clock mesh synthesis
Clock skew variations adversely affect timing margins, limiting performance, reducing yield, and may also lead to functional faults. Non-tree clock distribution networks, such as ...
Ameer Abdelhadi, Ran Ginosar, Avinoam Kolodny, Eby...
« Prev « First page 4247 / 4573 Last » Next »