2441 search results - page 253 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
143
click to vote
AAAI
1998
15 years 6 months ago
1998
This paper discusses the design and implementation of ESSPL, an expert system which generates security plans for alarm systems (Figure 1). Security planning is the task of determi...
174
click to vote
APSEC
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
226
Voted
VLDB
2004
ACM
16 years 5 months ago
2004
ACM
Abstract. In dynamic environments like the Web, data sources may change not only their data but also their schemas, their semantics, and their query capabilities.When a mapping is ...
167
click to vote
CASCON
2006
15 years 6 months ago
2006
Model Driven Development is helping software developers rapidly engineer today's most sophisticated business applications. Tool support, such as the Eclipse Modeling Framewor...
121
Voted
ISOLA
2004
Springer
15 years 10 months ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...