2455 search results - page 171 / 491 » Graphical abstract help |
113
click to vote
WCRE
2002
IEEE
15 years 9 months ago
2002
IEEE
Spreadsheets are a common tool in end-user programming. But even while important decisions are based on spreadsheet computations, spreadsheets are poorly documented software and t...
125
click to vote
CAV
1998
Springer
15 years 8 months ago
1998
Springer
We present a systematic approach to decompose and incrementally build the proof of correctness of pipelined microprocessors. The central idea is to construct the abstraction funct...
122
click to vote
WSC
2007
15 years 6 months ago
2007
Conceptual models serve as abstractions of user’s perceptions of a system. The choice and detailing of these abstractions are key to model use and understanding for analyst and ...
165
click to vote
SBBD
2008
15 years 5 months ago
2008
Abstract Data mining algorithms have been recently applied to software repositories to help on the maintenance of evolving software systems. In the past, information about what cla...
102
click to vote
TNC
2004
15 years 5 months ago
2004
This paper introduces an environment for distributed video transcoding based on Grid computing infrastructure and Internet Backplane Protocol storage infrastructure. A model for s...