2904 search results - page 396 / 581 » Valuing Design Repair |
182
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
The MLF type system by Le Botlan and R?emy (2003) is a natural extension of Hindley-Milner type inference that supports full firstclass polymorphism, where types can be of higher-...
144
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
Current languages allow a programmer to describe an interface only by enumerating its parts, possibly including other interfaces wholesale. Such languages cannot express relations...
125
click to vote
ICDE
2010
IEEE
16 years 6 months ago
2010
IEEE
Abstract--Amazon, Google, and IBM now sell cloud computing services. We consider the setting of a for-profit business selling data stream monitoring/management services and we inve...
217
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
It is expected that more and more people will search the web when they are on the move. Though conventional search engines can be directly visited from mobile devices with web bro...
154
click to vote
DCC
2005
IEEE
16 years 6 months ago
2005
IEEE
Functions which map n-bits to m-bits are important cryptographic sub-primitives in the design of additive stream ciphers. We construct highly nonlinear t-resilient such functions (...