Sciweavers

8838 search results - page 1362 / 1768
» Generalizing Domain Theory
Sort
View
ITNG
2007
IEEE
16 years 1 months ago
Software Reuse: Research and Practice
— It has been almost four decades since the idea of software reuse was proposed. Many success stories have been told, yet it is believed that software reuse is still in the devel...
Sajjan G. Shiva, Lubna Abou Shala
LICS
2007
IEEE
16 years 1 months ago
Symmetric Datalog and Constraint Satisfaction Problems in Logspace
We introduce symmetric Datalog, a syntactic restriction of linear Datalog and show that its expressive power is exactly that of restricted symmetric monotone Krom SNP. The deep re...
László Egri, Benoit Larose, Pascal T...
QSIC
2007
IEEE
16 years 1 months ago
An Incremental and FCA-Based Ontology Construction Method for Semantics-Based Component Retrieval
In semantics-based component retrieval ontology is usually employed as the semantic basis for component representation and matching. Existing methods always assume that the ontolo...
Xin Peng, Wenyun Zhao
ROBOCOMM
2007
IEEE
16 years 1 months ago
Distributed adaptive sampling using bounded-errors
—This paper presents a communication/coordination/ processing architecture for distributed adaptive observation of a spatial field using a fleet of autonomous mobile sensors. O...
Kévin Huguenin, Maria-João Rendas
SASO
2007
IEEE
16 years 1 months ago
Towards Supporting Interactions between Self-Managed Cells
Management in pervasive systems cannot rely on human intervention or centralised decision-making functions. It must be devolved, based on local decision-making and feedback contro...
Alberto E. Schaeffer Filho, Emil C. Lupu, Naranker...
« Prev « First page 1362 / 1768 Last » Next »