2441 search results - page 354 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
119
Voted
JSS
2002
15 years 3 months ago
2002
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
137
click to vote
PERCOM
2010
ACM
15 years 2 months ago
2010
ACM
—Smart Homes and Domotic Environments are promising to revolutionize the daily human life providing users with increased care, adaptability and safety. However, to fully exploit ...
142
Voted
DMS
2010
15 years 2 months ago
2010
In-lined Reference Monitoring frameworks are an emerging technology for enforcing security policies over untrusted, mobile, binary code. However, formulating correct policy specifi...
114
Voted
ER
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we study the problem of schema exchange, a natural extension of the data exchange problem to an intensional level. To this end, we first introduce the notion of sche...
111
Voted
ER
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Deploying process-driven information systems is a time-consuming and error-prone task. Process mining attempts to improve this by automatically generating a process model...