3457 search results - page 394 / 692 » A Symbol Is Not a Symbol |
168
click to vote
SEMWEB
2007
Springer
16 years 27 days ago
2007
Springer
Ontology revision is the process of managing an ontology when a new axiom or fact would render it inconsistent. So far, the AGM approach to belief revision has been adapted to work...
158
click to vote
STACS
2007
Springer
16 years 27 days ago
2007
Springer
We consider deducibility constraints, which are equivalent to particular Diophantine systems, arising in the automatic verification of security protocols, in presence of associati...
174
click to vote
VMCAI
2007
Springer
16 years 27 days ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
172
click to vote
ANSS
2006
IEEE
16 years 26 days ago
2006
IEEE
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...
177
click to vote
ASWEC
2006
IEEE
16 years 26 days ago
2006
IEEE
The Kerberos-One-Time protocol is a key distribution protocol promoted for use with Javacards to provide secure communication over the GSM mobile phone network. From inspection we...