7971 search results - page 1476 / 1595 » On unbounded operators and applications |
157
click to vote
ISSTA
2009
ACM
16 years 27 days ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
205
click to vote
MOBICOM
2009
ACM
16 years 27 days ago
2009
ACM
Wireless Sensor Networks are emerging as a key sensing technology, with diverse military and civilian applications. In these networks, a large number of sensors perform distribute...
155
click to vote
SACMAT
2009
ACM
16 years 27 days ago
2009
ACM
While many role mining algorithms have been proposed in recent years, there lacks a comprehensive study to compare these algorithms. These role mining algorithms have been evaluat...
163
click to vote
SIGCOMM
2009
ACM
16 years 27 days ago
2009
ACM
Since the early days of networks, a basic principle has been that endpoints treat the network as a black box. An endpoint injects a packet with a destination address and the netwo...
185
click to vote
CLUSTER
2008
IEEE
16 years 25 days ago
2008
IEEE
—A key benefit of utility data centers and cloud computing infrastructures is the level of consolidation they can offer to arbitrary guest applications, and the substantial savi...