1364 search results - page 257 / 273 » Comparative Branching-Time Semantics |
182
Voted
PPDP
2007
Springer
16 years 16 days 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...
198
click to vote
TSD
2007
Springer
16 years 16 days 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...
211
Voted
ASWEC
2006
IEEE
16 years 15 days 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...
182
Voted
ICDM
2006
IEEE
16 years 14 days 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...
137
Voted
IUI
2006
ACM
16 years 11 days 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...