918 search results - page 101 / 184 » e-Procurement Using Goal Programming |
115
click to vote
PPPJ
2003
ACM
15 years 7 months ago
2003
ACM
The object-oriented approach to software development facilitates and encourages programming practices that increase reusability, correctness and maintainability in code. This is a...
111
Voted
MM
1994
ACM
15 years 6 months ago
1994
ACM
The goal of the Argo system is to allow medium-sized groups of users to collaborate remotely from their desktops in a way that approaches as closely as possible the effectiveness ...
133
Voted
TPHOL
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
172
click to vote
ICALP
2011
Springer
14 years 5 months ago
2011
Springer
We give new algorithms for a variety of randomly-generated instances of computational problems using a linearization technique that reduces to solving a system of linear equations...
157
click to vote
ASPLOS
2012
ACM
13 years 10 months ago
2012
ACM
Virtualization has become a standard part of many computer systems. A key part of virtualization is the all-powerful hypervisor which manages the physical platform and can access ...