1982 search results - page 237 / 397 » Parametricity and dependent types |
183
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Program errors are a source of information leaks. Tracking these leaks is hard because error propagation breaks out of program structure. Programming languages often feature excep...
168
click to vote
VTC
2008
IEEE
16 years 24 days ago
2008
IEEE
Abstract— Depending on the position of mobile stations in the multihop relay system, various types of cooperative relaying schemes show the different level of throughput and outa...
149
click to vote
ICEBE
2007
IEEE
16 years 22 days ago
2007
IEEE
This paper investigates profit optimisation by the partitioning of server pools. Different types of web requests are considered in this paper: best-effort requests and multi-class...
196
click to vote
ESWS
2007
Springer
16 years 18 days ago
2007
Springer
Collaborative work environments for scientific knowledge have many applications in research as well as in education. Such systems already exist (e.g. Wikipedia and PlanetMath), b...
142
click to vote
GLOBECOM
2006
IEEE
16 years 14 days ago
2006
IEEE
— Existing Internet worm research focuses either on worm detection inside an AS, or on prevention of Internet-wide worm epidemic. But of more practical concern is how to repel wo...