899 search results - page 97 / 180 » Using Method Engineering for the Construction of Agent-Orien... |
COLING
1994
13 years 10 months ago
1994
: We demonstrate an approach and an accompanying UNIX toolbox for performing wtrious kinds of Knowledge tT,xlractions and Structuring. The goal is to "practically" enhanc...
TREC
2004
13 years 10 months ago
2004
This paper provides an overview of experiments carried out at the TREC 2004 Terabyte Track using the Indri search engine. Indri is an efficient, effective distributed search engin...
WER
2005
Springer
14 years 2 months ago
2005
Springer
This paper describes a method for requirements elicitation based on goals for electronic commerce systems in agreement with security and privacy polices of the site. The method in...
UML
2005
Springer
14 years 2 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
CAV
2005
Springer
14 years 2 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...