382 search results - page 44 / 77 » Generalized Multitext Grammars |
ICSE
2009
IEEE-ACM
16 years 2 months ago
2009
IEEE-ACM
Superimposition is a composition technique that has been applied successfully in many areas of software development. Although superimposition is a general-purpose concept, it has ...
100
click to vote
WWW
2007
ACM
16 years 2 months ago
2007
ACM
Since conventional historical records have been written assuming human readers, they are not well-suited for computers to collect and process automatically. If computers could und...
202
click to vote
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
Fundamental to data cleaning is the need to account for multiple data representations. We propose a formal framework that can be used to reason about and manipulate data represent...
124
click to vote
CALCO
2005
Springer
15 years 7 months ago
2005
Springer
In this paper we identify context-free grammars as coalgebras. To obtain the associated context-free languages (consisting of only finite-length strings) we introduce a general a...
117
click to vote
CCS
2005
ACM
15 years 7 months ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...