4340 search results - page 498 / 868 » Formal Methods and Cryptography |
161
click to vote
GIR
2006
ACM
16 years 21 days ago
2006
ACM
Vague spatial information such as “x is located at walking distance of y” is abundant on the web. In this contribution, we propose a framework to represent such spatial inform...
179
click to vote
ICECCS
2005
IEEE
16 years 10 days ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...
159
Voted
ISCAS
2005
IEEE
16 years 9 days ago
2005
IEEE
—This paper deals with the Space Mapping (SM) approach to engineering design optimization. We attempt here a theoretical justification of methods that have already proven efficie...
156
click to vote
MEMOCODE
2005
IEEE
16 years 9 days ago
2005
IEEE
In principle, bounded model checking (BMC) leads to semidecision procedures that can be used to verify liveness properties and to falsify safety properties. If the procedures fail...
147
click to vote
MEMOCODE
2005
IEEE
16 years 9 days ago
2005
IEEE
There are few published examples of the proof of correctness of a cache-coherence protocol expressed in an HDL. A designer generally shows the correctness of a protocol ny impleme...