940 search results - page 82 / 188 » Rules and Strategies in Java |
92
Voted
GCC
2003
Springer
15 years 5 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
117
Voted
IV
2002
IEEE
15 years 5 months ago
2002
IEEE
The paper presents a virtual reality modeling system based on interactive web technologies. The system’s goal is to provide a user-friendly virtual environment for the developme...
110
click to vote
COORDINATION
2000
Springer
15 years 5 months ago
2000
Springer
Internet-based multi-agent systems call for new metaphors, abstractions, methodologies and enabling technologies specifically tailored to agent-oriented engineering. While coordin...
127
Voted
AGTIVE
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. In the paper Support for Design Patterns through Graph Transformation Tools in this volume, we have already outlined the global structure of a tool that allows for the an...
120
Voted
DALT
2009
Springer
15 years 4 months ago
2009
Springer
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...