Sciweavers

2441 search results - page 426 / 489
» Engineering a Tool to Detect Automatically Generated Papers
Sort
View
AAIP
2009
13 years 9 months ago
Automated Method Induction: Functional Goes Object Oriented
The development of software engineering has had a great deal of benefits for the development of software. Along with it came a whole new paradigm of the way software is designed a...
Thomas Hieber, Martin Hofmann 0008
CIDR
2009
161views Algorithms» more  CIDR 2009»
13 years 9 months ago
A Case for A Collaborative Query Management System
Over the past 40 years, database management systems (DBMSs) have evolved to provide a sophisticated variety of data management capabilities. At the same time, tools for managing q...
Nodira Khoussainova, Magdalena Balazinska, Wolfgan...
CORR
2010
Springer
180views Education» more  CORR 2010»
13 years 8 months ago
Sawja: Static Analysis Workshop for Java
Abstract. Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a reali...
Laurent Hubert, Nicolas Barré, Fréd&...
CN
1998
78views more  CN 1998»
13 years 8 months ago
Twenty-One: Cross-Language Disclosure and Retrieval of Multimedia Documents on Sustainable Development
The Twenty-One project brings together environmental organisations, technology providers and research institutes from several European countries. The main objective of the project...
Wilco G. ter Stal, J.-H. Beijert, G. de Bruin, J. ...
JSAC
2011
108views more  JSAC 2011»
13 years 3 months ago
A Model-Based Approach to Cognitive Radio Design
Abstract—Cognitive radio is a promising technology for fulfilling the spectrum and service requirements of future wireless communication systems. Real experimentation is a key f...
Jorg Lotze, Suhaib A. Fahmy, Juanjo Noguera, Linda...