3742 search results - page 22 / 749 » On the Use of Formal Techniques for Validation |
AWIC
2003
Springer
15 years 5 months ago
2003
Springer
This paper describes a practical solution for the incorporation of security services in agents. From a set of basic user requirements, the agents will be able to find out the best ...
RE
2001
Springer
15 years 4 months ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
INFOCOM
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— Verifying the accuracy of a passive measurementsbased inference technique under all possible network scenarios is a difficult challenge - the measurement point has lim...
86
Voted
ECRTS
1998
IEEE
15 years 4 months ago
1998
IEEE
In this paper we demonstrate the usage of a formal description technique for real-time systems called PLCAutomaton [4] by applying this method to a real-world case study. To this ...
IR
2010
14 years 9 months ago
2010
This article presents FIDJI, a question-answering (QA) system for French. FIDJI combines syntactic information with traditional QA techniques such as named entity recognition and t...