Sciweavers

5961 search results - page 930 / 1193
» Design Science and Software Engineering
Sort
View
GPCE
2007
Springer
16 years 21 days ago
Generative programming techniques for Java library migration
Embedded systems can be viewed as scaled-down versions of their one counterparts. In many cases, the software abstractions and libraries for embedded systems can be derived from l...
Victor L. Winter, Azamatbek Mametjanov
EUROMICRO
2006
IEEE
16 years 18 days ago
Real-Time Modelling of Distributed Component-Based Applications
This paper presents a modular modelling methodology to formulate the timing behaviour of real-time distributed component-based applications. It allows to build real-time models of...
Patricia López Martínez, Julio L. Me...
ISSRE
2005
IEEE
16 years 4 days ago
Automated Checking for Windows Host Vulnerabilities
Evaluation of computing system security requires knowledge of the vulnerabilities present in the system and of potential attacks against the system. Vulnerabilities can be classif...
Matin Tamizi, Matt Weinstein, Michel Cukier
XIMEP
2005
ACM
106views Database» more  XIMEP 2005»
16 years 3 days ago
Combining a Publish and Subscribe Collaboration Architecture with XQuery Approaches
Markup languages, representations, schemas, and tools have significantly increased the ability for organizations to share their information. Languages such as the Extensible Marku...
M. Brian Blake, David H. Fado, Gregory A. Mack
ISSTA
2004
ACM
15 years 12 months ago
Covering arrays for efficient fault characterization in complex configuration spaces
—Many modern software systems are designed to be highly configurable so they can run on and be optimized for a wide variety of platforms and usage scenarios. Testing such systems...
Cemal Yilmaz, Myra B. Cohen, Adam A. Porter