11017 search results - page 266 / 2204 » Closure Systems and their Structure |
141
Voted
HICSS
2008
IEEE
16 years 13 days ago
2008
IEEE
Containing much valuable information, networks such as the World Wide Web, social networks and metabolic networks draw increasingly attention in scientific communities. Network cl...
180
click to vote
LICS
2008
IEEE
16 years 11 days ago
2008
IEEE
Tait’s method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed λ-calculi. Histo...
170
click to vote
PDP
2007
IEEE
16 years 7 days ago
2007
IEEE
We present an algorithm to compute the cycle structure of large directed graphs where each node has exactly one outgoing edge. Such graphs appear as state diagrams of finite stat...
186
click to vote
BTW
2007
Springer
16 years 4 days ago
2007
Springer
: Over the recent years, very little effort has been made to give XPath a proper algebraic treatment. The only laudable exception is the Natix Algebra (NAL) which defines the tran...
154
click to vote
CALCO
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. We extend the theory of (co-)spans as a means of providing an algebraic approach to complex interactions as they arise in software-intensive systems. In order to make int...