598 search results - page 82 / 120 » Generic Trace Theory |
141
click to vote
ICSE
2009
IEEE-ACM
16 years 28 days ago
2009
IEEE-ACM
Code ownership transfer or succession is a crucial ingredient in open source code reuse and in offshoring projects. Measuring succession can help understand factors that affect ...
167
click to vote
SIGMETRICS
2009
ACM
16 years 20 days ago
2009
ACM
In the context of network traffic analysis, we address the problem of estimating the tail index of flow (or more generally of any group) size distribution from the observation of...
161
click to vote
ICDCSW
2008
IEEE
16 years 18 days ago
2008
IEEE
Research on delay tolerant networks (DTNs) has brought about a plethora of routing algorithms targeted at networks with different mobility patterns. However, few research works ha...
180
click to vote
TPHOL
2008
IEEE
16 years 16 days ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
174
click to vote
TLCA
2007
Springer
16 years 8 days ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...