Sciweavers

1583 search results - page 305 / 317
» Lyra: A System Framework in Supporting Multimedia Applicatio...
Sort
View
JFP
2007
136views more  JFP 2007»
14 years 11 months ago
Practical type inference for arbitrary-rank types
Haskell’s popularity has driven the need for ever more expressive type system features, most of which threaten the decidability and practicality of Damas-Milner type inference. ...
Simon L. Peyton Jones, Dimitrios Vytiniotis, Steph...
MOBISYS
2008
ACM
15 years 11 months ago
Behavioral detection of malware on mobile handsets
A novel behavioral detection framework is proposed to detect mobile worms, viruses and Trojans, instead of the signature-based solutions currently available for use in mobile devi...
Abhijit Bose, Xin Hu, Kang G. Shin, Taejoon Park
SIGIR
2005
ACM
15 years 5 months ago
Improving collection selection with overlap awareness in P2P search engines
Collection selection has been a research issue for years. Typically, in related work, precomputed statistics are employed in order to estimate the expected result quality of each ...
Matthias Bender, Sebastian Michel, Peter Triantafi...
SWS
2004
ACM
15 years 5 months ago
Trust but verify: authorization for web services
Through web service technology, distributed applications can be built in a exible manner, bringing tremendous power to applications on the web. However, this exibility poses sig...
Christian Skalka, Xiaoyang Sean Wang
BMCBI
2007
162views more  BMCBI 2007»
14 years 11 months ago
Bioclipse: an open source workbench for chemo- and bioinformatics
Background: There is a need for software applications that provide users with a complete and extensible toolkit for chemo- and bioinformatics accessible from a single workbench. C...
Ola Spjuth, Tobias Helmus, Egon L. Willighagen, St...