701 search results - page 62 / 141 » Aspects of availability |
WSC
2004
15 years 1 months ago
2004
This paper illustrates the use of simulation for evaluating and analyzing air cargo operations at one of the new stateof-the art cargo facilities at Toronto Pearson Airport. The e...
107
click to vote
BCSHCI
2009
14 years 9 months ago
2009
Online communities of different types have become an important part of the daily internet life of many people within the last couple of years. Both research and business have show...
96
Voted
ICSM
2009
IEEE
15 years 6 months ago
2009
IEEE
Mainstream IDEs such as Eclipse support developers in managing software projects mainly by offering static views of the source code. Such a static perspective neglects any informa...
107
click to vote
PPPJ
2006
ACM
15 years 5 months ago
2006
ACM
The development of a tool for reconstructing UML sequence diagrams from executing Java programs is a challenging task. We implemented such a tool designed to analyze any kind of J...
TPHOL
1999
IEEE
15 years 4 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...