7988 search results - page 157 / 1598 » A Useful Undecidable Theory |
94
Voted
IJNSEC
2007
15 years 20 days ago
2007
In this paper we formulate the prevention of Denial of Service (DoS) attacks in wireless sensor networks as a repeated game between an intrusion detector and nodes of a sensor net...
101
Voted
STTT
2008
15 years 20 days ago
2008
Abstract. Fast is a tool for the analysis of systems manipulating unbounded integer variables. We check safety properties by computing the reachability set of the system under stud...
115
Voted
EC
1998
15 years 13 days ago
1998
In this paper we first review the main results obtained in the theory of schemata in Genetic Programming (GP) emphasising their strengths and weaknesses. Then we propose a new, s...
87
Voted
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
On the fly synthesis of mediators is a revolutionary approach to the seamless networking of today’s and future digital systems that increasingly need be connected. The resulting...
132
click to vote
IAT
2010
IEEE
14 years 10 months ago
2010
IEEE
There is a need for research on the scientific base and engineering requirements for building trustworthy systems in dynamic environments. To address this need, we study risk analy...