Sciweavers

1210 search results - page 152 / 242
» Formal Techniques for Java Programs
Sort
View
118
Voted
ICLP
2007
Springer
15 years 8 months ago
HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies sp...
Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszy...
ICCS
2003
Springer
15 years 7 months ago
JDOS: A Jini Based Distributed Operating System
J-DOS provides and integrated JAVA environment for the execution of a program across an interconnected network of heterogeneous computers. The system provides a file system, shar...
M. Saywell, J. S. Reeve
AIPS
2006
15 years 3 months ago
Run-Time Monitoring of the Execution of Plans for Web Service Composition
While a lot of work has been done on the problem of the automated generation of plans that compose web services, the problem of monitoring their execution has still to be investig...
Fabio Barbon, Paolo Traverso, Marco Pistore, Miche...
SIMULATION
2002
143views more  SIMULATION 2002»
15 years 1 months ago
GaliLEO: A Simulation Tool for LEO Satellite Constellations
We present GaliLEO, a simulator for the transmission of connection-oriented traffic over a constellation of LEO/MEO (Low / Medium Earth Orbit) satellites. Its scope is limited to ...
Laurent Franck, Francesco Potorti
SOCASE
2007
Springer
15 years 8 months ago
Using Goals for Flexible Service Orchestration
Abstract. This paper contributes to a line of research that aims to apply agent-oriented techniques in the field of service-oriented computing. In particular, we propose to use go...
M. Birna van Riemsdijk, Martin Wirsing