27119 search results - page 328 / 5424 » Languages |
170
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...
204
click to vote
TIC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. There is a growing need to provide low-overhead softwarebased protection mechanisms to protect against malicious or untrusted code. Type-based approaches such as proof-ca...
146
click to vote
ACTAC
2008
15 years 6 months ago
2008
In this paper, a characterization of the language varieties and congruence varieties corresponding to M-solid pseudovarieties is presented. Taking into account the isomorphisms of...
176
click to vote
ENGL
2008
15 years 6 months ago
2008
Language Identification (LID) refers to the task of identifying an unknown language from the test utterances. In this paper, a new method of feature extraction, viz., Teager Energy...
154
click to vote
DT
2006
15 years 6 months ago
2006
at their abstractions are similar to data types and operations supplied by conventional processors. A core principle of BCPL is its memory model: an The Challenges of Synthesizing ...