4666 search results - page 282 / 934 » Equations on Timed Languages |
173
click to vote
GPCE
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We describe our efforts to use source-level rewriting to optimize run-time program generators written in Jumbo, a run-time program generation system for Java. Jumbo is a...
169
click to vote
ICALP
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
154
click to vote
ADAEUROPE
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...
170
click to vote
AMAST
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
165
click to vote
CP
2004
Springer
16 years 3 days ago
2004
Springer
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. This can be especially usef...