2702 search results - page 33 / 541 » Practically Applicable Formal Methods |
EUROPKI
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. An electronic signature is considered to be valid, if the signature is mathematically correct and if the signer's public key is classified as authentic. While the fi...
ISSE
2010
2010
An approach to applying SOFL for agile process and its application in developing a test support tool
14 years 8 months ago
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...
DATE
2006
IEEE
15 years 3 months ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
FLAIRS
2006
14 years 11 months ago
2006
In building intelligent tutoring systems, it is critical to be able to understand and diagnose student responses in interactive problem solving. We present a novel application of ...
WWW
2005
ACM
15 years 10 months ago
2005
ACM
This paper is concerned with the problem of definition search. Specifically, given a term, we are to retrieve definitional excerpts of the term and rank the extracted excerpts acc...