382 search results - page 60 / 77 » Reasoning about the Elementary Functions of Complex Analysis |
110
click to vote
SPAA
2009
ACM
15 years 9 months ago
2009
ACM
Abstract. At-most-once semantics is one of the standard models for object access in decentralized systems. Accessing an object, such as altering the state of the object by means of...
JOCN
2010
14 years 10 months ago
2010
■ The capacity to reason about complex information is a central characteristic of human cognition. An important component of many reasoning tasks is the need to integrate multip...
187
click to vote
POPL
2004
ACM
16 years 1 days ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
ECCC
2010
14 years 11 months ago
2010
Suppose a decision maker has to purchase a commodity over time with varying prices and demands. In particular, the price per unit might depend on the amount purchased and this pri...
95
Voted
IUI
2006
ACM
15 years 5 months ago
2006
ACM
Automated software customization is drawing increasing attention as a means to help users deal with the scope, complexity, potential intrusiveness, and ever-changing nature of mod...