Sciweavers

243 search results - page 30 / 49
» Concolic testing for functional languages
Sort
View
WEBDB
2004
Springer
125views Database» more  WEBDB 2004»
15 years 3 months ago
Best-Match Querying from Document-Centric XML
On the Web, there is a pervasive use of XML to give lightweight semantics to textual collections. Such documentcentric XML collections require a query language that can gracefully...
Jaap Kamps, Maarten Marx, Maarten de Rijke, Bö...
COOPIS
2004
IEEE
15 years 1 months ago
Comparing Approaches for Semantic Service Description and Matchmaking
Matching descriptions of user requirements against descriptions of service capabilities is crucial for the discovery of appropriate services for a given task. To improve the precis...
Sven Schade, Arnd Sahlmann, Michael Lutz, Florian ...
BIRTHDAY
2003
Springer
15 years 1 months ago
Aspect Validation Using Model Checking
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
Shmuel Katz, Marcelo Sihman
SIGIR
2008
ACM
14 years 9 months ago
Blogger, stick to your story: modeling topical noise in blogs with coherence measures
Topical noise in blogs arises when bloggers digress from the central topical thrust of their blogs. We introduce a method to explicitly incorporate a model of topical noise into a...
Jiyin He, Wouter Weerkamp, Martha Larson, Maarten ...
OOPSLA
2009
Springer
15 years 4 months ago
Debug all your code: portable mixed-environment debugging
Programmers build large-scale systems with multiple languages to reuse legacy code and leverage languages best suited to their problems. For instance, the same program may use Jav...
Byeongcheol Lee, Martin Hirzel, Robert Grimm, Kath...