1926 search results - page 294 / 386 » Modeling and Model Checking Software Product Lines |
101
click to vote
ECIS
2000
15 years 1 months ago
2000
- This paper draws from an international research study on the strategic positioning of companies in the software and computing services industry (SCSI). It considers how outsourci...
TACAS
2010
Springer
15 years 6 months ago
2010
Springer
Modern multicore processors, such as the Cell Broadband Engine, achieve high performance by equipping accelerator cores with small “scratchpad” memories. The price for increase...
105
click to vote
PASTE
2005
ACM
15 years 5 months ago
2005
ACM
Program instrumentation, inserted either before or during execution, is rapidly becoming a necessary component of many systems. Instrumentation is commonly used to collect informa...
ICFEM
2005
Springer
15 years 5 months ago
2005
Springer
The development of Web Services has transformed the World Wide Web into a more application-aware information portal. The various standards ensure that Web Services are interpretabl...
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
Structural constraint solving allows finding object graphs that satisfy given constraints, thereby enabling software reliability tasks, such as systematic testing and error recove...