1833 search results - page 131 / 367 » Mechanized Verification with Sharing |
120
Voted
TCAD
2010
14 years 11 months ago
2010
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...
136
click to vote
SELMAS
2004
Springer
15 years 10 months ago
2004
Springer
If agents are to negotiate automatically with one another they must share a negotiation mechanism, specifying what possible actions each party can take at any given time, when nego...
224
Voted
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
Web Service Technology has been developing rapidly as it provides a flexible application-to-application interaction mechanism. Several ongoing research efforts focus on various as...
136
Voted
ICSE
2007
IEEE-ACM
16 years 4 months ago
2007
IEEE-ACM
We propose a mechanism for object access control which is based on the UML. Specifically, we propose use of ownership and immutability constraints on UML associations and verifica...
154
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
I describe the mechanisation in HOL of some basic -calculus theory, using the axioms proposed by Gordon and Melham [4]. Using these as a foundation, I mechanised the proofs from C...