2702 search results - page 307 / 541 » Practically Applicable Formal Methods |
116
Voted
FPL
2009
Springer
15 years 7 months ago
2009
Springer
A silicon Physical Unclonable Function (PUF), which is a die-unique challenge-response function, is an emerging hardware primitive for secure applications. It exploits manufacturi...
126
Voted
COMPSAC
2000
IEEE
15 years 7 months ago
2000
IEEE
Scenario analysis is a vehicle of separating concerns in the elicitation of users' requirements. It is also a means of requirements validation and verification. In the practi...
116
Voted
ISSAC
1995
Springer
15 years 6 months ago
1995
Springer
An improved method for expressing the greatest common divisor of n numbers as an integer linear combination of the numbers is presented and analyzed, both theoretically and practi...
133
Voted
AAAI
2008
15 years 5 months ago
2008
Grounding is the task of reducing a first-order theory to an equivalent propositional one. Typical grounders work on a sentence-by-sentence level, substituting variables by domain...
123
Voted
DLOG
2007
15 years 5 months ago
2007
Abstract. In the paper we propose a method of structuring a knowledge base into hierarchically related contexts and present how this arrangement influences the structure of TBox a...