528 search results - page 97 / 106 » Introducing records by refactoring |
LICS
2006
IEEE
15 years 3 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
ICITA
2005
IEEE
15 years 3 months ago
2005
IEEE
Many efforts in past years have been made to lower the linguistic barriers for non-native English speakers to access the Internet. IDNA [2] focuses on access to Internationalized ...
NDSS
2005
IEEE
15 years 3 months ago
2005
IEEE
As national infrastructure becomes intertwined with emerging global data networks, the stability and integrity of the two have become synonymous. This connection, while necessary,...
IMC
2005
ACM
15 years 3 months ago
2005
ACM
Flow measurement evolved into the primary method for measuring the composition of Internet traffic. Large ISPs and small networks use it to track dominant applications, dominant ...
ACISP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. RFID tags are tiny, inexpensive, inductively powered computers that are going to replace bar codes on many products, but which have many other uses as well. For example, ...