2251 search results - page 93 / 451 » Specification and Implementation Problems for C |
224
Voted
ESA
2006
Springer
15 years 7 months ago
2006
Springer
This paper considers two similar graph algorithms that work by repeatedly increasing "flow" along "augmenting paths": the Ford-Fulkerson algorithm for the maxi...
102
Voted
IMC
2007
ACM
15 years 5 months ago
2007
ACM
An experimental study of the feasibility and accuracy of the acyclicity approach introduced in [14] for the inference of business relationships among autonomous systems (ASes) is ...
140
Voted
EUROSYS
2006
ACM
16 years 17 days ago
2006
ACM
Run-time conflicts can affect even the most rigorously tested software systems. A reliance on execution-based testing makes it prohibitively costly to test every possible interac...
130
Voted
DOA
2000
15 years 4 months ago
2000
An increasing number of applications are being developed using distributed object computing middleware, such as CORBA. Many of these applications require the underlying middleware...
155
Voted
DRM
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we consider the functionality that a rights expression language (REL) should provide within a digital rights management (DRM) environment. We begin by noting the dea...