Sciweavers

31387 search results - page 446 / 6278
» Abstracts
Sort
View
ISPDC
2003
IEEE
16 years 27 days ago
tuBiG - A Layered Infrastructure to Provide Support for Grid Functionalities
The paper presents a Java-based object-oriented system that offers a layered infrastructure to create the adequate framework for complex interactions between Grid components (e.g....
Lenuta Alboaie, Sabin C. Buraga, Sinica Alboaie
ESOP
2003
Springer
16 years 26 days ago
Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling
Abstract. A goal-independent suspension analysis is presented that infers a class of goals for which a logic program with delays can be executed without suspension. The crucial poi...
Samir Genaim, Andy King
ICLP
2003
Springer
16 years 25 days ago
A Tutorial on Proof Theoretic Foundations of Logic Programming
Abstract logic programming is about designing logic programming languages via the proof theoretic notion of uniform provability. It allows the design of purely logical, very expres...
Paola Bruscoli, Alessio Guglielmi
ICWE
2003
Springer
16 years 25 days ago
Partitioning the Navigational Model: A Component-Driven Approach
Abstract. This paper proposes using a Component Approach to model navigation in a hypertext application. It proposes Navigational Semantic Units (NSUs), which are component-oriente...
Stephen Kerr, Daniel M. Germán
EVOW
2010
Springer
16 years 22 days ago
Memory Design for Constrained Dynamic Optimization Problems
A proposal for a memory design is given that is suitable for solving constrained dynamic optimization problems by an evolutionary m. Based on ideas from abstract memory, two scheme...
Hendrik Richter