Sciweavers

4323 search results - page 236 / 865
» Callback Implementations in C
Sort
View
CP
2004
Springer
15 years 9 months ago
Computing the Frequency of Partial Orders
In this paper we study four algorithms for computing the frequency of a given partial order. Here the frequency of a partial order is the number of standard labellings respecting t...
Marc R. C. van Dongen
DALT
2004
Springer
15 years 9 months ago
Theories of Intentions in the Framework of Situation Calculus
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...
Maria del Pilar Pozos Parra, Abhaya C. Nayak, Robe...
GRID
2004
Springer
15 years 9 months ago
Mobile OGSI.NET: Grid Computing on Mobile Devices
The problem with the Grid is that it does not currently extend completely to devices, because these devices are not viewed as having sufficient capability to be both clients and s...
David C. Chu, Marty A. Humphrey
ICCS
2004
Springer
15 years 9 months ago
Multiparadigm Model Oriented to Development of Grid Systems
Multiparadigm approach integrates programming language paradigms. We propose Holoparadigm (Holo) as a multiparadigm model oriented to development of grid systems. Holo uses a logi...
Jorge L. V. Barbosa, Cristiano André da Cos...
AUIC
2003
IEEE
15 years 9 months ago
An environment for developing adaptive, multi-device user interfaces
There is a growing demand for the development of multi-device, adaptive user interfaces – interfaces that will run on and adapt to the characteristics of multiple display device...
John C. Grundy, Biao Yang