63 search results - page 13 / 13 » Comparing Meseguer's Rewriting Logic with the Logic CRWL |
112
click to vote
RTA
2009
Springer
15 years 8 months ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...
125
click to vote
IDEAS
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract. We consider the class of applications that manage time series (TS) and propose a data model and a query language that let these applications manipulate TS data sets at a ...
138
Voted
CSCLP
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Over the last decade, first-order constraints have been efficiently used in the artificial intelligence world to model many kinds of complex problems such as: scheduling,...