3742 search results - page 22 / 749 » On the Use of Formal Techniques for Validation |
158
click to vote
AWIC
2003
Springer
15 years 11 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 ...
156
click to vote
RE
2001
Springer
15 years 10 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 ...
162
click to vote
INFOCOM
2006
IEEE
16 years 3 days 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...
147
click to vote
ECRTS
1998
IEEE
15 years 10 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 ...
174
click to vote
IR
2010
15 years 3 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...