Sciweavers

9739 search results - page 1595 / 1948
» Object-Oriented Analysis and Design
Sort
View
ASWEC
2004
IEEE
15 years 11 months ago
Teaching the Process of Code Review
Behavioural theory predicts that interventions that improving individual reviewers' expertise improves Software Development Technical Review group performance [3, p 6]. This ...
Tor Stålhane, Cat Kutay, Hiyam Al-Kilidar, D...
ATVA
2004
Springer
138views Hardware» more  ATVA 2004»
15 years 11 months ago
Providing Automated Verification in HOL Using MDGs
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...
Tarek Mhamdi, Sofiène Tahar
BPM
2004
Springer
148views Business» more  BPM 2004»
15 years 11 months ago
Interactive Workflow Mining
Many information systems log event data about executed tasks. Workflow mining is concerned with the derivation of a graphical workflow model out of this data. Experience from appl...
Markus Hammori, Joachim Herbst, Niko Kleiner
CCGRID
2004
IEEE
15 years 11 months ago
Learning Grid technologies in a project-based computer architecture course
This paper describes the integration of the grid topic within a Computer Architecture engineering course. Students are engaged in a project of design and evaluation of computing s...
Guillermo Vega-Gorgojo, Yannis A. Dimitriadis, Edu...
CIKM
2004
Springer
15 years 11 months ago
InfoAnalyzer: a computer-aided tool for building enterprise taxonomies
In this paper we study the problem of collecting training samples for building enterprise taxonomies. We develop a computer-aided tool named InfoAnalyzer, which can effectively as...
Li Zhang, Shixia Liu, Yue Pan, Liping Yang
« Prev « First page 1595 / 1948 Last » Next »