2878 search results - page 231 / 576 » Analyzing the Uses of a Software Modeling Tool |
188
click to vote
EUROSYS
2009
ACM
16 years 3 months ago
2009
ACM
Recently, flash-based solid-state drives (SSDs) have become standard options for laptop and desktop storage, but their impact on enterprise server storage has not been studied. P...
187
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
Little is known about error probability in enterprise models as they are usually kept private. The SAP reference model is a publically available model that contains more than 600 n...
299
click to vote
HICSS
2011
IEEE
14 years 10 months ago
2011
IEEE
Although our society is critically dependent on software systems, these systems are mainly secured by protection mechanisms during operation instead of considering security issues...
152
click to vote
VL
2002
IEEE
15 years 11 months ago
2002
IEEE
There is a range of modelling notations, both textual and diagrammatic, whose semantics are based on first-order predicate logic. This paper presents a visual framework for organ...
179
click to vote
FASE
1998
Springer
15 years 10 months ago
1998
Springer
A loose semantics for graph transformation rules which has been developed recently is used in this paper for the compositional verification of specifications. The main conceptual t...