105 search results - page 17 / 21 » Formal verification: is it real enough |
IEEECIT
2005
IEEE
14 years 29 days ago
2005
IEEE
To make a web warehouse reflect the real web accurately, we should keep timeliness, freshness and consistency for the webviews. This paper fouses on one important part of webview...
LDTA
2010
13 years 7 months ago
2010
Real programming languages are often defined using ambiguous context-free grammars. Some ambiguity is intentional while other ambiguity is accidental. A good grammar development e...
ICAIL
2003
ACM
14 years 19 days ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
CIE
2005
Springer
14 years 27 days ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
MST
2007
13 years 6 months ago
2007
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Edalat–Potts in type theory. We choose the constructive type theory extended with coind...