6607 search results - page 1116 / 1322 » Making TeX Work |
190
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatype...
190
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
Can virtual machine developers benefit from religiously observing the principles more often embraced for exploratory programming? To find out, we are concurrently constructing two...
161
click to vote
OTM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The X Protocol, an asynchronous network protocol, was developed at MIT amid the need to provide a network transparent graphical user interface primarily for the UNIX Oper...
212
click to vote
PPDP
2005
Springer
15 years 12 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
169
click to vote
RAID
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The exponential growth in the deployment of IEEE 802.11based wireless LAN (WLAN) in enterprises and homes makes WLAN an attractive target for attackers. Attacks that expl...