29046 search results - page 457 / 5810 » Computable Models |
283
click to vote
Publication
The size of computer networks, along with their bandwidths, is growing exponentially. To support these large, high-speed networks, it is neccessary to be able to forward packets in...
157
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
218
click to vote
ICPPW
2009
IEEE
16 years 1 months ago
2009
IEEE
—Federated computing environments offer requestors the ability to dynamically invoke services offered by collaborating providers in the virtual service network. Without an effici...
152
click to vote
MFCS
2009
Springer
16 years 28 days ago
2009
Springer
We consider Priority Algorithm [BNR03] as a syntactic model of formulating the concept of greedy algorithm for Job Scheduling, and we study the computation of optimal priority alg...
207
click to vote
CSE
2008
IEEE
16 years 26 days ago
2008
IEEE
Methods of Computational Fluid Dynamics are applied to simulate pulsatile blood flow in human vessels and in the aortic arch. The non-Newtonian behaviour of the human blood is in...