2441 search results - page 360 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
144
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we propose a methodology for the construction of 3D electronic institutions. 3D electronic institutions are normative environments where software and human agents ca...
108
click to vote
SIGSOFT
2002
ACM
16 years 4 months ago
2002
ACM
Scenario-based specifications such as Message Sequence Charts (MSCs) are popular for requirement elicitation and specification. MSCs describe two distinct aspects of a system: on ...
147
click to vote
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
Directed test program-based verification or formal verification methods are usually quite ineffective on large cachecoherent, non-uniform memory access (CC-NUMA) multiprocessors b...
145
click to vote
CAISE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Industry is increasingly demanding IT support for large engineering processes, i.e., process structures consisting of hundreds up to thousands of processes. Developing a ...
109
Voted
FTCS
1998
15 years 5 months ago
1998
Internet servers need to be highly-available, inexpensive, and scalable. These goals are often con icting and most designs meet, with limited success, only few of them. In this pa...