219 search results - page 11 / 44 » How useful are your comments |
AINA
2010
IEEE
13 years 5 months ago
2010
IEEE
New transport protocols continue to appear as alternatives to the Transmission Control Protocol (TCP). Many of these are are designed to address TCP's inefficiency in operatin...
IV
2008
IEEE
14 years 1 months ago
2008
IEEE
The process ofvoting for a candidate involves selecting an individual who best matches a personal system of values and beliefs. Typically, voters must select a candidate whom they...
ICSE
2001
IEEE-ACM
13 years 12 months ago
2001
IEEE-ACM
It is now generally accepted that separating software architecture into multiple views can help in reducing complexity and in making sound decisions about design trade-offs. Our f...
ICADL
2005
Springer
14 years 1 months ago
2005
Springer
Peer-to-Peer (P2P) overlay network aims to be a feasible platform for building federated but autonomous digital libraries. However, due to a plethora number of P2P infrastructures ...
FMCAD
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. In this paper we describe the formal specification and verification of the efficient algorithm for real-time model checking implemented in the model checker RAVEN. It was...