2409 search results - page 340 / 482 » On Extended Regular Expressions |
148
click to vote
LICS
2003
IEEE
15 years 10 months ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
149
click to vote
VLDB
1992
ACM
15 years 8 months ago
1992
ACM
Research in temporal databases has mainly focused on defining temporal data models by extending existing models, and developing access structures for temporal data. Little has bee...
139
click to vote
VLDB
1992
ACM
15 years 8 months ago
1992
ACM
This paper considers the problem of adding list as a type constructor to an object-oriented data model. In particular, we are concerned with how lists in a database can be constru...
175
click to vote
CONCUR
1991
Springer
15 years 8 months ago
1991
Springer
Abstract. A syntax-directed formal system for the development of totally correct programs with respect to an (unfair) shared-state parallel programming language is proposed. The pr...
137
click to vote
AAAI
2008
15 years 7 months ago
2008
In group decision making, often the agents need to decide on multiple attributes at the same time, so that there are exponentially many alternatives. In this case, it is unrealist...