4480 search results - page 563 / 896 » Prototyping Completion with Constraints Using Computational ... |
192
click to vote
MOBISYS
2008
ACM
16 years 6 months ago
2008
ACM
Mobile phones have the potential to be useful agents for their owners by detecting and reporting situations that are of interest. Several challenges emerge in the case of detectin...
203
click to vote
VEE
2009
ACM
16 years 1 months ago
2009
ACM
Many data center virtualization solutions, such as VMware ESX, employ content-based page sharing to consolidate the resources of multiple servers. Page sharing identifies virtual...
167
Voted
SACMAT
2010
ACM
15 years 11 months ago
2010
ACM
The role-based access control (RBAC) has significantly simplified the management of users and permissions in computing systems. In dynamic environments, systems are usually unde...
158
click to vote
CONCUR
2007
Springer
16 years 25 days ago
2007
Springer
Dπ is a simple distributed extension of the π-calculus in which agents are explicitly located, and may use an explicit migration construct to move between locations. In this pap...
181
click to vote
ENTCS
2007
15 years 6 months ago
2007
Automated deduction methods should be specified not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, di...