Sciweavers

4109 search results - page 147 / 822
» Issues in Design and Implementation of Multimedia Software S...
Sort
View
147
Voted
EDCC
2008
Springer
15 years 5 months ago
Software Faults Diagnosis in Complex OTS Based Safety Critical Systems
This work addresses the problem of software fault diagnosis in complex safety critical software systems. The transient manifestations of software faults represent a challenging is...
Gabriella Carrozza, Domenico Cotroneo, Stefano Rus...
ASPDAC
2010
ACM
129views Hardware» more  ASPDAC 2010»
15 years 2 months ago
System-level development of embedded software
Abstract-- Embedded software plays an increasingly important role in implementing modern embedded systems. Development of embedded software, and of Hardware-dependent Software in p...
Gunar Schirner, Andreas Gerstlauer, Rainer Dö...
CHI
2006
ACM
16 years 4 months ago
Barista: An implementation framework for enabling new tools, interaction techniques and views in code editors
Recent advances in programming environments have focused on improving programmer productivity by utilizing the inherent structure in computer programs. However, because these envi...
Andrew Jensen Ko, Brad A. Myers
AINA
2007
IEEE
15 years 10 months ago
Applying Web-based Networking Protocols and Software Architectures for providing adaptivity, personalization, and remotization f
This paper proposes an innovative use of a mix of networking standards and software implementation technologies for the design of industrial Human Machine Interface (HMI) systems....
Alessandro Bozzon, Marco Brambilla, Piero Fraterna...
SIGSOFT
2008
ACM
16 years 4 months ago
Alchemy: transmuting base alloy specifications into implementations
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
Shriram Krishnamurthi, Kathi Fisler, Daniel J. Dou...