2878 search results - page 207 / 576 » Analyzing the Uses of a Software Modeling Tool |
133
click to vote
HPDC
1996
IEEE
15 years 10 months ago
1996
IEEE
One purpose of the MBone is to study the performance of multicast and real-time protocols in global conferencing applications. Part of this evaluation is dependent on understandin...
180
click to vote
SIMPRA
2008
15 years 5 months ago
2008
: DEVS is a Modeling and Simulation formalism that has been widely used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines spatial mo...
165
click to vote
SP
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...
159
click to vote
IV
2003
IEEE
15 years 11 months ago
2003
IEEE
The paper begins with a response to the nature of contemporary artists relationships to how computers have permeated the fine art domain and how they affect the creative process. ...
175
click to vote
STTT
2010
15 years 20 days ago
2010
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...