315 search results - page 37 / 63 » Reactive Turing Machines |
136
click to vote
CCS
2009
ACM
15 years 7 months ago
2009
ACM
Code injections attacks are one of the most powerful and important classes of attacks on software. In such attacks, the attacker sends malicious input to a software application, w...
108
click to vote
ENTCS
2008
15 years 4 months ago
2008
Esterel is an imperative synchronous programming language for the specification of deterministic concurrent reactive systems. While providing the usual control-flow constructs--se...
192
click to vote
FBT
2000
15 years 5 months ago
2000
The behavior of reactive systems can be described by their black box properties as a relation between input and output streams. More operational is the behavior's description...
111
click to vote
CSR
2007
Springer
15 years 10 months ago
2007
Springer
t) Yuri Gurevich Microsoft Research The talk reflects recent joint work with Nachum Dershowitz [4]. In 1936, Church suggested that the recursive functions, which had been defined...
143
click to vote
AI
2007
Springer
15 years 4 months ago
2007
Springer
It is not surprising that reaching human-level AI has proved to be difficult and progress has been slow— though there has been important progress. The slowness and the demand t...