2441 search results - page 391 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
FATES
2005
Springer
15 years 6 months ago
2005
Springer
The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but cou...
117
Voted
VMCAI
2005
Springer
15 years 6 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
119
Voted
ISSTA
2004
ACM
15 years 6 months ago
2004
ACM
Object oriented programming promotes reuse of classes in multiple contexts. Thus, a class is designed and implemented with several usage scenarios in mind, some of which possibly ...
AMAST
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Algebraic compilers provide a powerful and convenient mechanism for specifying language translators. With each source language operation one associates a computation for ...
96
Voted
COMPSAC
1997
IEEE
15 years 4 months ago
1997
IEEE
Many large software systems are tightly integrated with their physical environments and must be adapted when their environment changes. Typically, software development methodologi...