1920 search results - page 224 / 384 » The Complexity of the A B C Problem |
150
click to vote
CCGRID
2004
IEEE
15 years 9 months ago
2004
IEEE
Recently, a server-less video-on-demand architecture has been proposed to eliminate costly dedicated video servers and yet is highly scalable and reliable. However, because of the...
141
click to vote
ECOWS
2006
Springer
15 years 9 months ago
2006
Springer
Web Services are increasingly being used to create a wide range of distributed systems, many of which involve legacy software. Developing service interfaces for these legacy syste...
140
click to vote
GECCO
2006
Springer
15 years 9 months ago
2006
Springer
In this article, we describe the application of an enhanced genetic algorithm to the problem of hardware-software codesign. Starting from a source code written in a high-level lan...
164
click to vote
ER
2000
Springer
15 years 9 months ago
2000
Springer
The application of conceptual models that assure both the consistency and usability of Electronic Product Catalogs (EPC's) is a main concern in the e-commerce community, mainl...
158
click to vote
SPIN
2000
Springer
15 years 9 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...