4209 search results - page 416 / 842 » Abstract Dialectical Frameworks |
116
click to vote
ICCS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper describes GAPP – a framework for the execution of distributed genetic algorithms (GAs) using the H2O metacomputing environment. GAs may be a viable solution ...
192
click to vote
ICWE
2004
Springer
16 years 5 days ago
2004
Springer
Abstract Loosely coupled services are gaining importance in many business domains. However, compared to OO-RPC middleware approaches, emerging technologies proposed to implement lo...
209
click to vote
ISSAC
2004
Springer
16 years 5 days ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
213
click to vote
MATA
2004
Springer
16 years 4 days ago
2004
Springer
Distribution of product updates to embedded devices can increase product lifetimes for consumers and boost revenues for vendors. Dynamic provisioning of application solutions to e...
332
click to vote
NPC
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Location estimation and user behavior recognition are research issues that go hand in hand. In the past, these two issues have been investigated separately. In this paper...