1624 search results - page 252 / 325 » Modelling Variability for System Families |
EMSOFT
2007
Springer
14 years 2 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
JMLR
2012
12 years 24 days ago
2012
We consider a model for which it is important, early in processing, to estimate some variables with high precision, but perhaps at relatively low recall. If some variables can be ...
INFOCOM
2007
IEEE
14 years 4 months ago
2007
IEEE
— Loss networks provide a powerful tool for the analysis and design of many communication and networking systems. It is well known that a large number of loss networks have produ...
HICSS
2005
IEEE
14 years 4 months ago
2005
IEEE
act The strategic use of technology based information systems (IS/IT) is a fundamental issue for every business. This is particularly true in the case of firms that engage in inter...
FROCOS
2005
Springer
14 years 3 months ago
2005
Springer
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...