Sciweavers

575 search results - page 75 / 115
» constraints 2011
Sort
View
POPL
2011
ACM
14 years 2 months ago
Dynamic inference of static types for ruby
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...
Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. F...
CCS
2011
ACM
13 years 11 months ago
WAPTEC: whitebox analysis of web applications for parameter tampering exploit construction
Parameter tampering attacks are dangerous to a web application whose server fails to replicate the validation of user-supplied data that is performed by the client. Malicious user...
Prithvi Bisht, Timothy Hinrichs, Nazari Skrupsky, ...
ICASSP
2011
IEEE
14 years 3 months ago
Spatially-correlated sensor discriminant analysis
A study of generalization error in signal detection by multiple spatially-distributed and -correlated sensors is provided when the detection rule is learned from a finite number ...
Kush R. Varshney
CORR
2011
Springer
170views Education» more  CORR 2011»
14 years 6 months ago
Ecosystem Viable Yields
The World Summit on Sustainable Development (Johannesburg, 2002) encouraged the application of the ecosystem approach by 2010. However, at the same Summit, the signatory States un...
Michel De Lara, Eladio Ocaña Anaya, Ricardo...
ICASSP
2011
IEEE
14 years 3 months ago
Direct load management of electric vehicles
Electrical Vehicles are gaining increasing attention, due to the opportunities and challenges they present for the energy market. On the one hand, they will allow to drastically r...
Mahnoosh Alizadeh, Anna Scaglione, Robert J. Thoma...