714 search results - page 49 / 143 » Formal Verification of Cognitive Models |
118
Voted
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
123
Voted
CADE
2007
Springer
16 years 2 months ago
2007
Springer
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...
239
Voted
AMCS
2011
14 years 9 months ago
2011
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
113
click to vote
HVC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...
103
Voted
ACSD
2001
IEEE
15 years 5 months ago
2001
IEEE
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...