1312 search results - page 75 / 263 » Embedded contract languages |
106
click to vote
RULEML
2010
Springer
14 years 10 months ago
2010
Springer
The main source of changing requirements of the dynamic business environment is response to changes in regulations and contracts towards ...
112
click to vote
TASLP
2010
14 years 6 months ago
2010
Traditional n-gram language models are widely used in state-of-the-art large vocabulary speech recognition systems. This simple model suffers from some limitations, such as overfi...
FSTTCS
2008
Springer
15 years 29 days ago
2008
Springer
Tight connections between leafs languages and strings compressed via straight-line programs (SLPs) are established. It is shown that the compressed membership problem for a languag...
ESOP
2009
Springer
15 years 6 months ago
2009
Springer
We present a type theory for analyzing concurrent multiparty interactions as found in service-oriented computing. Our theory introduces a novel and flexible type structure, able t...
ESOP
2009
Springer
15 years 6 months ago
2009
Springer
We show how contracts with blame fit naturally with recent work on hybrid types and gradual types. Unlike hybrid types or gradual types, we require casts in the source code, in o...