5754 search results - page 584 / 1151 » Multi-class Model M |
210
click to vote
WSC
2008
15 years 9 months ago
2008
Class Based Weighted Fair Queueing (CBWFQ) is a very important router discipline that allows different types of Internet Protocol (IP) traffic like voice, video, and best effort d...
252
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
170
click to vote
ECAL
2005
Springer
15 years 9 months ago
2005
Springer
This paper introduces a novel study on the sense of valency as a vital process for achieving adaptation in agents through evolution and developmental learning. Unlike previous stud...
172
click to vote
FSE
2008
Springer
15 years 8 months ago
2008
Springer
Chosen-plaintext attacks on private-key encryption schemes are currently modeled by giving an adversary access to an oracle that encrypts a given message m using random coins that ...
174
click to vote
CCE
2007
15 years 8 months ago
2007
: Facilitating and managing the development and application of effective shared work practice in distributed teams remain a key challenge for effective collaborative engineering. W...