4520 search results - page 345 / 904 » Algebraic Techniques for Timed Systems |
199
Voted
ALGORITHMICA
2006
15 years 7 months ago
2006
Abstract. In this paper we present a coarse-grained parallel algorithm, CONQUEST, for constructing boundederror summaries of high-dimensional binary attributed data in a distribute...
200
Voted
INFOCOM
2006
IEEE
16 years 1 months ago
2006
IEEE
— Polymorphic worms can change their byte sequence as they replicate and propagate, thwarting the traditional signature analysis techniques used by many intrusion detection syste...
178
Voted
FM
2009
Springer
16 years 2 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
165
click to vote
APVIS
2007
15 years 9 months ago
2007
Email has become an integral method of communication. However, it is still plagued by vast amounts of spam. Many statistical techniques, such as Bayesian filtering, have been app...
189
click to vote
ENTCS
2006
15 years 7 months ago
2006
Executing concurrent specifications on sequential hardware is important for both simulation of systems that are eventually implemented on concurrent hardware and for those most co...