Sciweavers

3838 search results - page 410 / 768
» The Autonomic Computing Paradigm
Sort
View
AGP
2010
IEEE
15 years 11 months ago
Proof-Theoretic and Higher-Order Extensions of Logic Programming
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...
Alberto Momigliano, Mario Ornaghi
AINA
2010
IEEE
15 years 11 months ago
Service Invocation over Content-Based Communication in Disconnected Mobile Ad Hoc Networks
—This paper presents a middleware platform for the provision of services in disconnected MANETs, focusing on service invocation. This middleware exploits content-based communicat...
Yves Mahéo, Romeo Said
CCGRID
2002
IEEE
15 years 11 months ago
A Malleable-Job System for Timeshared Parallel Machines
Malleable jobs are parallel programs that can change the number of processors on which they are executing at run time in response to an external command. One of the advantages of ...
Laxmikant V. Kalé, Sameer Kumar, Jayant DeS...
157
Voted
ICDCSW
2002
IEEE
15 years 11 months ago
Mobile Push: Delivering Content to Mobile Users
The increasing popularity of information services that rely on content delivery in mobile environments motivates the need for a mobile push service—an efficient and flexible c...
Ivana Podnar, Manfred Hauswirth, Mehdi Jazayeri
IEEEICCI
2002
IEEE
15 years 11 months ago
A Framework for Object Identification and Refinement Process in Object-Oriented Analysis and Design
There are already many projects focusing on Computer Aided Software Engineering (CASE) tools for object-oriented analysis and design. However, at this moment, there are certain li...
Romi S. Wahono, Behrouz H. Far