18898 search results - page 3737 / 3780 » The Making of a Software Engineer |
PLDI
2003
ACM
15 years 3 months ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
SACMAT
2003
ACM
15 years 3 months ago
2003
ACM
In large organizations the administration of access privileges (such as the assignment of an access right to a user in a particular role) is handled cooperatively through distribu...
101
click to vote
SENSYS
2003
ACM
15 years 3 months ago
2003
ACM
The current generation of sensor nodes rely on commodity components. The choice of the radio is particularly important as it impacts not only energy consumption but also software ...
SIGECOM
2003
ACM
15 years 3 months ago
2003
ACM
Coalition formation is a key problem in automated negotiation among self-interested agents, and other multiagent applications. A coalition of agents can sometimes accomplish thing...
110
click to vote
TLDI
2003
ACM
15 years 3 months ago
2003
ACM
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...