910 search results - page 54 / 182 » Automatic Metadata Generation using Associative Networks |
106
click to vote
PERCOM
2007
ACM
16 years 2 days ago
2007
ACM
Although mobile services can be used ubiquitously, their employment and the interaction with them are still restricted by the constraints of mobile devices. In order to facilitate...
118
Voted
INFORMS
1998
15 years 4 days ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
122
click to vote
SAC
2008
ACM
14 years 12 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
107
click to vote
IWMM
2004
Springer
15 years 5 months ago
2004
Springer
We document the design and implementation of a “production” incremental garbage collector for GHC 6.2. It builds on our earlier work (Non-stop Haskell) that exploited GHC’s ...
100
click to vote
FMCO
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Attack graphs depict ways in which an adversary exploits system vulnerabilities to achieve a desired state. System administrators use attack graphs to determine how vulne...