6201 search results - page 159 / 1241 » Implementation of Axiomatic Language |
167
click to vote
FDL
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we are concerned with studying the semantic of the B modularity. We reuse the Harper-Lillibridge-Leroy (HLL) module system. This system implements an SML like module...
186
click to vote
USS
2010
15 years 4 months ago
2010
In recent years, many advances have been made in cryptography, as well as in the performance of communication networks and processors. As a result, many advanced cryptographic pro...
178
click to vote
GW
2009
Springer
15 years 4 months ago
2009
Springer
Research on automatic sign language recognition (ASLR) has mostly been conducted from a machine learning perspective. We propose to implement results from human sign recognition st...
129
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
This poster describes the DQL language : a new XML data manipulation language. DQL is an extension of OQL for the manipulation of tree-like and forest-like data. It integrates XPa...
148
click to vote
PLSA
1994
15 years 10 months ago
1994
Abstract. Most software is developed using interactive computing systems and substantial compute-power. Considerable assistance can be given to the developer by providing language-...