2441 search results - page 308 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
120
click to vote
VAMOS
2010
Springer
15 years 6 months ago
2010
Springer
The increased use of software product lines (SPLs) results in complex software systems in which products of multiple SPLs communicate and interact with each other. Such a system of...
145
click to vote
ICFEM
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
142
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
This paper introduces an approach to develop componentbased adaptive distributed applications. Our approach separates the communication and the functional aspects of a distributed...
143
click to vote
TASLP
2010
14 years 11 months ago
2010
Abstract--This paper presents a novel method for automatically classifying consumer video clips based on their soundtracks. We use a set of 25 overlapping semantic classes, chosen ...
117
click to vote
USS
2010
15 years 2 months ago
2010
Search engines not only assist normal users, but also provide information that hackers and other malicious entities can exploit in their nefarious activities. With carefully craft...