2496 search results - page 103 / 500 » Error-detecting properties of languages |
117
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Generating multimedia streams, such as in a netradio, is a task which is complex and difficult to adapt to every users’ needs. We introduce a novel approach in order to achieve i...
176
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
111
click to vote
IFIP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
144
click to vote
FOSSACS
2001
Springer
15 years 5 months ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
149
click to vote
SDB
1995
15 years 4 months ago
1995
Most of work on partial information in databases asks which operations of standard languages, like relational algebra, can still be performed correctly in the presence of nulls. In...