Sciweavers

1051 search results - page 151 / 211
» Protocols in the use of empirical software engineering artif...
Sort
View
EUROSYS
2006
ACM
14 years 6 months ago
Thorough static analysis of device drivers
Bugs in kernel-level device drivers cause 85% of the system crashes in the Windows XP operating system [44]. One of the sources of these errors is the complexity of the Windows dr...
Thomas Ball, Ella Bounimova, Byron Cook, Vladimir ...
EIS
2011
290views ECommerce» more  EIS 2011»
13 years 3 months ago
Code query by example
Most software engineering techniques that deal with software products customization are based on anticipation: The software designer has to foresee, somehow, the future needs for ...
Sebastien Vaucouleur
B
2007
Springer
14 years 3 months ago
Time Constraint Patterns for Event B Development
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
Dominique Cansell, Dominique Méry, Joris Re...
CD
2004
Springer
14 years 2 months ago
Secure Deployment of Components
Abstract. The secure deployment of components is widely recognized as a crucial problem in component-based software engineering. While major effort is concentrated on preventing ma...
Mark Grechanik, Dewayne E. Perry
COMPSAC
2003
IEEE
14 years 2 months ago
Flexible Fault Tolerance in Configurable Middleware for Embedded Systems
MicroQoSCORBA (MQC) is a middleware platform that focuses on embedded applications by providing a very fine level of configurability of its internal orthogonal components. Using t...
Kevin E. Dorow