598 search results - page 82 / 120 » Generic Trace Theory |
139
click to vote
ICSE
2009
IEEE-ACM
16 years 20 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 ...
165
click to vote
SIGMETRICS
2009
ACM
16 years 12 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...
159
click to vote
ICDCSW
2008
IEEE
16 years 10 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...
179
click to vote
TPHOL
2008
IEEE
16 years 8 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
Voted
TLCA
2007
Springer
16 years 15 hour 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...