3809 search results - page 236 / 762 » Associative language descriptions |
183
click to vote
ESORICS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Cryptographic protocols are useful for engineering trust in transactions. There are several languages for describing these protocols, but these tend to capture the commun...
270
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
Many data integration solutions in the market today include tools for schema mapping, to help users visually relate elements of different schemas. Schema elements are connected wit...
168
click to vote
RE
2006
Springer
15 years 6 months ago
2006
Springer
We present a novel technique that automatically alerts authors of requirements to the presence of potentially dangerous ambiguities. We first establish the notion of nocuous ambig...
150
click to vote
HCW
1998
IEEE
15 years 11 months ago
1998
IEEE
Java's design goals of portability, safety, and ubiquity make it a potentially ideal language for large-scale heterogeneous computing. One of the remaining challenges is to c...
150
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
MSL (Model Schema Language) is an attempt to formalize some of the core idea in XML Schema. The benefits of a formal description is that it is both concise and precise. MSL has al...