Sciweavers

4109 search results - page 402 / 822
» Issues in Design and Implementation of Multimedia Software S...
Sort
View
LCTRTS
2004
Springer
16 years 4 days ago
Flattening statecharts without explosions
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
Andrzej Wasowski
APSEC
2010
IEEE
15 years 1 months ago
The Qualitas Corpus: A Curated Collection of Java Code for Empirical Studies
Abstract--In order to increase our ability to use measurement to support software development practise we need to do more analysis of code. However, empirical studies of code are e...
Ewan D. Tempero, Craig Anslow, Jens Dietrich, Ted ...
SUTC
2006
IEEE
16 years 24 days ago
Detection and Repair of Software Errors in Hierarchical Sensor Networks
Abstract— Sensor networks are being increasingly deployed for collecting critical data in various applications. Once deployed, a sensor network may experience faults at the indiv...
Douglas Herbert, Yung-Hsiang Lu, Saurabh Bagchi, Z...
ASPLOS
2006
ACM
16 years 23 days ago
Improving software security via runtime instruction-level taint checking
Current taint checking architectures monitor tainted data usage mainly with control transfer instructions. An alarm is raised once the program counter becomes tainted. However, su...
Jingfei Kong, Cliff Changchun Zou, Huiyang Zhou
EDOC
2003
IEEE
16 years 2 days ago
A Software Architecture for Industrial Automation
The Aspect Integrator Platform (AIP) from ABB was designed to build the next generation of industrial automation applications. This platform is part of a set of products that prov...
Rodrigo García García, Esther Gelle,...