Sciweavers

2180 search results - page 235 / 436
» Self-Adaptation in Evolving Systems
Sort
View
PADL
2005
Springer
15 years 12 months ago
An Ordered Logic Program Solver
We describe the design of the OLPS system, an implementation of the preferred answer set semantics for ordered logic programs. The basic algorithm we propose computes the extended ...
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
PPDP
2005
Springer
15 years 12 months ago
Security policy in a declarative style
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...
Rachid Echahed, Frédéric Prost
UML
2005
Springer
15 years 12 months ago
Addressing Domain Evolution Challenges in Software Product Lines
It is hard to develop and evolve software product-line architectures (PLAs) for large-scale distributed real-time and embedded (DRE) systems. Although certain challenges of PLAs ca...
Gan Deng, Gunther Lenz, Douglas C. Schmidt
WEBI
2005
Springer
15 years 12 months ago
Developing Agent Web Service Agreements
Web services have emerged as a new paradigm that supports loosely-coupled distributed systems in service discovery and service execution. Next generation web services will evolve ...
Shamimabi Paurobally, Nicholas R. Jennings
ISMIS
2003
Springer
15 years 11 months ago
Logic for Multi-path Message Forwarding Networks for Mobile Agents
We discuss how mobile agents, moving in the Internet from node to node, can communicate with each other by forwarding messages in a robust way. As a solution, we present the genera...
Masahito Kurihara, Masanobu Numazawa