5570 search results - page 262 / 1114 » Applications of Fair Testing |
148
click to vote
WADT
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
136
Voted
DSN
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract— Reliable point-to-point communication is usually achieved in overlay networks by applying TCP/IP on the end nodes of a connection. This paper presents an hopby-hop reli...
142
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
The digital divide between developed and non-developed countries or large and smaller companies in terms of adoption of new technologies and particularly the Internet and electron...
140
click to vote
ICDCS
2003
IEEE
15 years 11 months ago
2003
IEEE
Lookup services are used in many Internet applications to translate a key (e.g., a file name) into an associated set of entries (e.g., the location of file copies). The key look...
148
click to vote
LCN
2003
IEEE
15 years 10 months ago
2003
IEEE
Network processors offer a new flexibility for network applications and reduce the time to market for data processing systems. In this paper, we describe the changed development p...