88 search results - page 7 / 18 » Structural Analysis of Boolean Equation Systems |
ENTCS
2008
13 years 7 months ago
2008
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...
SIGMETRICS
2006
ACM
14 years 1 months ago
2006
ACM
A new methodology to assess transient performance measures of tree-like processes is proposed by introducing the concept of tree-like processes with marked time epochs. As opposed...
CHI
1996
ACM
13 years 12 months ago
1996
ACM
In its current implementation, the World-Wide Web lacks much of the explicit structure and strong typing found in many closed hypertext systems. While this property has directly f...
PAMI
2007
13 years 7 months ago
2007
—We develop a mathematical framework for quantifying and understanding multidimensional frequency modulations in digital images. We begin with the widely accepted definition of t...
CISC
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. In 2002, algebraic attacks using overdefined systems of equations have been proposed as a potentially very powerful cryptanalysis technique against block ciphers. However...