2878 search results - page 211 / 576 » Analyzing the Uses of a Software Modeling Tool |
174
click to vote
INFSOF
2008
15 years 6 months ago
2008
Domain-specific modeling (DSM) assists subject matter experts in describing the essential characteristics of a problem in their domain. Various software artifacts can be generated...
187
click to vote
JUCS
2002
15 years 5 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
151
click to vote
TASE
2007
IEEE
16 years 6 days ago
2007
IEEE
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
124
click to vote
ERCIMDL
2000
Springer
15 years 9 months ago
2000
Springer
This paper studies the archival problem: how a digital library can preserve electronic documents over long periods of time. We analyze how an archival repository can fail and we p...
221
click to vote
BMCBI
2004
15 years 5 months ago
2004
Background: When publishing large-scale microarray datasets, it is of great value to create supplemental websites where either the full data, or selected subsets corresponding to ...