3221 search results - page 249 / 645 » Termination of Linear Programs |
192
click to vote
DSVIS
2005
Springer
16 years 12 hour ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
145
click to vote
SAS
2005
Springer
15 years 12 months ago
2005
Springer
The termination insensitive secure information flow problem can be reduced to solving a safety problem via a simple program transformation. Barthe, D’Argenio, and Rezk coined th...
159
click to vote
STACS
2005
Springer
15 years 12 months ago
2005
Springer
We introduce and study Recursive Markov Chains (RMCs), which extend ordinary finite state Markov chains with the ability to invoke other Markov chains in a potentially recursive m...
156
click to vote
AISC
2004
Springer
15 years 12 months ago
2004
Springer
Term equations involving individual and sequence variables and sequence function symbols are studied. Function symbols can have either fixed or flexible arity. A sequence variabl...
176
click to vote
ISW
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Code obfuscations are semantics-preserving code transformations used to protect a program from reverse engineering. There is generally no expectation of complete, long-te...