Sciweavers

4940 search results - page 533 / 988
» On the Complexity of Universal Programs
Sort
View
WETICE
2003
IEEE
16 years 3 days ago
Developing Adaptive and Context-aware Applications in Dynamic Networks
Suitable programming models and associated supporting infrastructures are required to deal with large software systems dived in complex and dynamic network environments. Here, wit...
Marco Mamei, Franco Zambonelli, Letizia Leonardi
SAC
2003
ACM
16 years 3 days ago
Design and Implementation of a Graphical Interface to Xquery
As the use of XML is rapidly growing, a growing number of users without programming skills will need to query XML data. Although designed to be easily understood by humans, XQuery...
Enrico Augurusa, Daniele Braga, Alessandro Campi, ...
ESOP
2003
Springer
16 years 2 days ago
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
Karine Altisen, Aurélie Clodic, Florence Ma...
HUMAN
2003
Springer
16 years 1 days ago
A Study on Monitoring and Protecting Computer System against Interception Threat
Perfect protection against all system threats is considered to be impossible. The problem of monitoring against the threats has been an issue in literature, but its progress has no...
Seongje Cho, Chulyean Chang, Joonmo Kim, Jongmoo C...
164
Voted
ICLP
2003
Springer
16 years 1 days ago
On Deterministic Computations in the Extended Andorra Model
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
Ricardo Lopes, Vítor Santos Costa, Fernando...