4061 search results - page 392 / 813 » Framework Evolution Tool |
152
click to vote
GC
2004
Springer
15 years 10 months ago
2004
Springer
This article summarises part of the work done during the first two years of the SOCS project, with respect to the task of modelling interaction amongst CL-based agents. It describe...
171
click to vote
ACSD
2001
IEEE
15 years 10 months ago
2001
IEEE
We describe a framework where formal models can be rigorously defined and compared, and their interconnections can be unambiguously specified. We use trace algebra and trace struc...
152
click to vote
AAAI
2008
15 years 9 months ago
2008
Applications of Semantic Web technologies often require the management of metalevel information--that is, information that provides additional detail about domain-level informatio...
183
click to vote
DLOG
2007
15 years 9 months ago
2007
Abstract. The DL implementation group (DIG) has specified a common interface for description logic reasoner. While the original intention was to make it easier for other tools to ...
178
click to vote
ECOWS
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we present a framework providing integrity and authentication for secure workflow computation based on BPEL Web Service orchestration. We address a recent cryptogra...