2432 search results - page 385 / 487 » Cryptographic logical relations |
144
click to vote
ICST
2008
IEEE
16 years 14 days ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
171
Voted
IDEAS
2008
IEEE
16 years 14 days ago
2008
IEEE
As the popularity of areas including document storage and distributed systems continues to grow, the demand for high performance XML databases is increasingly evident. This has le...
132
Voted
ATAL
2007
Springer
16 years 7 days ago
2007
Springer
Ontology matching is currently a key technology to achieve the semantic alignment of ontological entities used by knowledge-based applications, and therefore to enable their inter...
176
Voted
ICALP
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. Nested words are a restriction of the class of visibly pushdown languages that provide a natural model of runs of programs with recursive procedure calls. The usual conne...
149
Voted
ICIC
2007
Springer
16 years 6 days ago
2007
Springer
Humans can easily recognize complex objects even if values of their attributes are imprecise and often inconsistent. It is not clear how the brain processes uncertain visual inform...