7139 search results - page 1235 / 1428 » Language Engineering in Practice |
182
click to vote
ISSTA
2012
ACM
13 years 7 months ago
2012
ACM
To avoid receiving incorrect arguments, a method specifies the expected type of each formal parameter. However, some parameter types are too general and have subtypes that the me...
123
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Modern Web 2.0 applications, such as GMail, Live Maps, Facebook and many others, use a combination of Dynamic HTML, JavaScript and other Web browser technologies commonly referred...
125
click to vote
SIGSOFT
2002
ACM
16 years 5 months ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...
149
click to vote
WWW
2009
ACM
16 years 5 months ago
2009
ACM
Social networking sites have been increasingly gaining popularity. Well-known sites such as Facebook have been reporting growth rates as high as 3% per week [5]. Many social netwo...
151
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
Because it is an integral part of the Internet routing apparatus, and because it allows multiple instances of the same service to be "naturally" discovered, IP Anycast h...