1210 search results - page 152 / 242 » Formal Techniques for Java Programs |
118
Voted
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
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...
109
click to vote
ICCS
2003
Springer
15 years 7 months ago
2003
Springer
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...
116
click to vote
AIPS
2006
15 years 3 months ago
2006
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...
119
click to vote
SIMULATION
2002
15 years 1 months ago
2002
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 ...
119
click to vote
SOCASE
2007
Springer
15 years 8 months ago
2007
Springer
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...