2441 search results - page 275 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
120
click to vote
WWW
2006
ACM
16 years 5 months ago
2006
ACM
In this paper, we describe SGSDesigner, the ODESGS Environment user interface. ODESGS Environment (the realization of the ODESGS Framework [1]) is an environment for supporting bo...
123
click to vote
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
151
click to vote
ISVLSI
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, the problem of sizing MOS Current Mode Logic (MCML) circuits is addressed. The Pareto front is introduced as a useful analysis tool to explore the design space of e...
119
click to vote
PRDC
2007
IEEE
15 years 11 months ago
2007
IEEE
While email is fairly reliable, messages do get lost. This can be due to the store-and-forward nature of email, which passes responsibility for delivering email from one mail serv...
232
click to vote
CAISE
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. Flexibility and automatic learning are key aspects to support users in dynamic business environments such as value chains across SMEs or when organizing a large event. Pr...