Sciweavers

4979 search results - page 332 / 996
» Batch codes and their applications
Sort
View
EDCC
2008
Springer
15 years 8 months ago
Metrics for Object-Oriented Software Reliability Assessment - Application to a Flight Manager
In avionics domain, the software applications grew to millions of source lines of code representing important development expenditures. To cut the costs, the avionics suppliers ar...
Stéphanie Gaudan, Gilles Motet, Guillaume A...
WICSA
2008
15 years 8 months ago
uDesign: End-User Design Applied to Monitoring and Control Applications for Smart Spaces
This paper introduces an architectural style for enabling end-users to quickly design and deploy software systems in domains characterized by highly personalized and dynamic requi...
João Pedro Sousa, Bradley R. Schmerl, Vahe ...
IADIS
2004
15 years 8 months ago
A Different Pedagogical Approach to Teaching a Web Applications Course
This paper describes a different approach to teaching a web-applications course. Rather than lecturing, the instructor organizes material and serves as a guide as students work th...
Roy P. Pargas
SPLC
2007
15 years 8 months ago
Tailoring Infrastructure Software Product Lines by Static Application Analysis
Besides ordinary applications, also infrastructure software such as operating systems or database management systems is being developed as a software product line. With proper too...
Horst Schirmeier, Olaf Spinczyk
FMICS
2010
Springer
15 years 7 months ago
Correctness of Sensor Network Applications by Software Bounded Model Checking
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
Frank Werner, David Faragó