959 search results - page 105 / 192 » Formal Description Techniques - How Formal and Descriptive a... |
DAGSTUHL
2004
13 years 9 months ago
2004
The paper represents current achievements of an ongoing research that aims to develop a formal approach supporting an automatic selection of a Web service sought by a requestor. Th...
MMNS
2004
13 years 9 months ago
2004
Due to the significant development of network services in the past few years, their validation has become increasingly difficult. The advent of novel approaches to the issue of val...
AAAI
1998
13 years 9 months ago
1998
The amount of use a knowledge representation system receives depends on more than just the theoretical suitability of the system. Some critical determiners of usage have to do wit...
ECIS
2000
13 years 9 months ago
2000
The paper addresses some misconceptions of Software Engineering, requirements analysis and modelling in particular, due to underlying epistemological flaws., e.g. the believe that...
ICMAS
1998
13 years 9 months ago
1998
This paper presents a generic architecture for an agent capable of designing and creating new agents. The design agent itself is based on an existing generic agent model, and inclu...