1874 search results - page 174 / 375 » Abstract Machine for LDL |
133
click to vote
FASE
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We introduce a generalised notion of a real-time speci cation language (\GPLC-Automata") that can be translated directly into real-time programs. In order to describ...
136
click to vote
FSE
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We discuss the special requirements imposed on the underlying cipher of systems which encrypt each sector of a disk partition independently, and demonstrate a certificati...
143
Voted
NLP
2000
15 years 7 months ago
2000
Abstract. The paper argues that a promising way to improve the success rate of preference-based anaphora resolution algorithms is the use of machine learning. The paper outlines MA...
153
Voted
TIC
2000
Springer
15 years 7 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...
159
click to vote
BIRTHDAY
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Church's Problem, stated fifty years ago, asks for a finitestate machine that realizes the transformation of an infinite sequence into an infinite sequence such tha...