28962 search results - page 255 / 5793 » Computational Mechanism Design |
161
click to vote
INDOCRYPT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. One approach to secure mobile agent execution is restricting the agent route to trusted environments. A necessary condition for this approach to be practical is that the ...
157
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Virtual or in silico ligand screening combined with other computational methods is one of the most promising methods to search for new lead compounds, thereby greatly ...
190
click to vote
ICTAC
2010
Springer
15 years 4 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
171
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Current language mechanisms for concurrency are largely isolated to the domain of single programs. Furthermore, increasing interest in concurrent programming encourages further res...
183
click to vote
MOBISYS
2006
ACM
16 years 6 months ago
2006
ACM
The majority of security schemes available for sensor networks assume deployment in areas without access to a wired infrastructure. More specifically, nodes in these networks are ...