4340 search results - page 191 / 868 » Formal Methods and Cryptography |
170
click to vote
PPDP
2005
Springer
15 years 10 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
116
click to vote
AUSAI
1998
Springer
15 years 8 months ago
1998
Springer
Agent-based computing in Arti cial Intelligence has given rise to a number of diverse and competing proposals for agent programming languages. Agents, in the sense we are using it...
129
click to vote
IJCAI
1989
15 years 5 months ago
1989
Several theories of grammar currently converge toward inserting subcategorization information within lexical entries. Such a tendency would benefit from a parsing algorithm able t...
153
click to vote
ICCAD
2009
IEEE
15 years 2 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
204
click to vote
ISEMANTICS
2010
14 years 11 months ago
2010
With the advent of Web 2.0 and the emergence of improved technologies to enhance UI, the importance of user experience and intuitiveness of Web interfaces led to the growth and su...