2878 search results - page 546 / 576 » Analyzing the Uses of a Software Modeling Tool |
126
click to vote
ALGORITHMICA
2006
15 years 1 months ago
2006
Hierarchical graphs and clustered graphs are useful non-classical graph models for structured relational information. Hierarchical graphs are graphs with layering structures; clus...
129
click to vote
SAC
2008
ACM
15 years 28 days 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...
114
click to vote
ICWE
2010
Springer
14 years 12 months ago
2010
Springer
Compliance management is essential for ensuring that organizational business processes and supporting information systems are in accordance with a set of prescribed requirements or...
112
click to vote
CDC
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...
119
click to vote
SIMULATION
2010
14 years 8 months ago
2010
We introduce and describe a novel network simulation tool called NeSSi (Network Security Simulator). NeSSi incorporates a variety of features relevant to network security distingu...