909 search results - page 88 / 182 » Supporting dynamic composition of components |
TSC
2010
13 years 9 months ago
2010
—Service-Oriented Computing has recently received a lot of attention from both academia and industry. However, current service-oriented solutions are often not as dynamic and ada...
KBSE
1999
IEEE
14 years 3 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
JIT
2005
Springer
14 years 4 months ago
2005
Springer
: Complex software systems, like operating systems and middleware, have to cope with a broad range of requirements as well as strict resource constraints. Family-based software dev...
EMSOFT
2008
Springer
14 years 8 days ago
2008
Springer
Dynamic Voltage Scaling (DVS) and Dynamic Power Management (DPM) are two popular techniques commonly employed to save energy in real-time embedded systems. DVS policies aim at red...
IPPS
2007
IEEE
14 years 5 months ago
2007
IEEE
In today’s dynamic computing environments, the available resources and even underlying computation engine can change during the execution of a program. Additionally, current tre...