317 search results - page 43 / 64 » Frameworks: the future of formal software development |
ARCS
2010
Springer
13 years 11 months ago
2010
Springer
Power and resource management are key goals for the success of modern battery-supplied multimedia devices. This kind of devices are usually based on SoCs with a wide range of subsy...
OZCHI
2006
ACM
14 years 1 months ago
2006
ACM
This paper describes a pilot project to research the use of a dynamic visual interface as the basis of a scenarioplanning tool. We introduce ‘flow’ as a theoretical framework ...
SAFECOMP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
FMCO
2007
Springer
14 years 1 months ago
2007
Springer
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
EICS
2010
ACM
13 years 7 months ago
2010
ACM
Component-based software engineering is a paradigm aiming at better ways to reuse existing code and to distribute work across teams. Integrating UI components developed with diffe...