1138 search results - page 118 / 228 » First-Order Model Checking Problems Parameterized by the Mod... |
145
Voted
FORTE
2003
15 years 4 months ago
2003
Abstract. This paper describes the analysis of Pull-Based Asynchronous Rekeying Framework (ARF), a recently proposed solution to the scalable group key management problem in secure...
122
Voted
ALGORITHMICA
2002
15 years 2 months ago
2002
Abstract. We consider the tasks of testing and spot-checking for data streams. These testers and spotcheckers are potentially useful in real-time or near real-time applications tha...
130
click to vote
IANDC
2008
15 years 2 months ago
2008
Hybrid systems are dynamical systems with the ability to describe mixed discretecontinuous evolution of a wide range of systems. Consequently, at first glance, hybrid systems appe...
111
Voted
AIMSA
2004
Springer
15 years 8 months ago
2004
Springer
Nowadays, many real problem in Artificial Intelligence can be modeled as constraint satisfaction problems (CSPs). A general rule in constraint satisfaction is to tackle the hardes...
116
Voted
TOOLS
1999
IEEE
15 years 6 months ago
1999
IEEE
The evolution of software systems over many years often leads to unnecessarily complex and in exible designs which in turn lead to a huge amount of e ort for enhancements and main...