9110 search results - page 1618 / 1822 » Formally-Based Design Evaluation |
137
Voted
ASPLOS
2008
ACM
15 years 6 months ago
2008
ACM
Power delivery, electricity consumption, and heat management are becoming key challenges in data center environments. Several past solutions have individually evaluated different ...
137
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Computer agents participate in many collaborative and competitive multiagent domains in which humans make decisions. For computer agents to interact successfully with people in su...
148
click to vote
IWCMC
2010
ACM
15 years 6 months ago
2010
ACM
In a pervasive computing environment, the devices are embedded in the physical world, providing services and interconnected by a communication network. Composition of these servic...
169
click to vote
CONEXT
2005
ACM
15 years 6 months ago
2005
ACM
In recent years, much work has been done on attempting to scale multicast data transmission to hundreds or thousands of receivers. There are, however, many situations where an app...
146
click to vote
CSCW
2008
ACM
15 years 5 months ago
2008
ACM
Social networks are popular for online communities. This paper evaluates the risk of sophisticated context-aware spam that could result from information sharing on social networks...