799 search results - page 38 / 160 » Generating Reliable Code from Hybrid-Systems Models |
SCESM
2006
ACM
14 years 4 months ago
2006
ACM
The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as s...
ICSE
2009
IEEE-ACM
14 years 5 months ago
2009
IEEE-ACM
In model-driven software development, while scenariobased models are closer to distributed system requirements, state-based models are suitable for code generation. Our tool ‘Fo...
ICIP
2007
IEEE
14 years 5 months ago
2007
IEEE
In spite of recent progress in the development of hybrid block-based video codecs, it has been shown that for low-bitrate scenarios there is still coding gain applying object-base...
DCOSS
2008
Springer
14 years 22 days ago
2008
Springer
Abstract. Wireless sensor networks come of age and start moving out of the laboratory into the field. As the number of deployments is increasing the need for an efficient and relia...
HICSS
1998
IEEE
14 years 3 months ago
1998
IEEE
Deregulated wholesale markets for bulk electricity supplies are likely to deviate from the perfectly competitive ideal in many areas where transmission losses, costs and capacity ...