2062 search results - page 351 / 413 » Derivatives of Logical Formulas |
ACNS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The EAP-GPSK protocol is a lightweight, flexible authentication protocol relying on symmetric key cryptography. It is part of an ongoing IETF process to develop authenti...
80
Voted
ECBS
2007
IEEE
15 years 5 months ago
2007
IEEE
Today, many software-based, reactive systems offer a multitude of functionality. One way to master the development of such a system is to model its functionality on an abstract le...
100
click to vote
FUZZIEEE
2007
IEEE
15 years 5 months ago
2007
IEEE
—Approaches based on conditional independence tests are among the most popular methods for learning graphical models from data. Due to the predominance of Bayesian networks in th...
GLVLSI
2007
IEEE
15 years 5 months ago
2007
IEEE
Parallel counters are key elements in many arithmetic circuits, especially fast multipliers. In this paper, novel architectures and designs for high speed, low power (3, 2), (7, 3...
ICDE
2007
IEEE
15 years 5 months ago
2007
IEEE
Several current research efforts in business process modeling are investigating XML-based executable formal specification languages. The availability of the latter allows modeled...