1364 search results - page 257 / 273 » Comparative Branching-Time Semantics |
PPDP
2007
Springer
14 years 5 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
TSD
2007
Springer
14 years 5 months ago
2007
Springer
The world wide web is a natural setting for cross-lingual information retrieval. The European Union is a typical example of a multilingual scenario, where multiple users have to de...
ASWEC
2006
IEEE
14 years 4 months ago
2006
IEEE
An SQL injection attack targets interactive web applications that employ database services. These applications accept user inputs and use them to form SQL statements at runtime. D...
ICDM
2006
IEEE
14 years 4 months ago
2006
IEEE
Due to their capability for expressing semantics and relationships among data objects, semi-structured documents have become a common way of representing domain knowledge. Compari...
IUI
2006
ACM
14 years 4 months ago
2006
ACM
Email-based activity management systems promise to give users better tools for managing increasing volumes of email, by organizing email according to a user’s activities. Curren...