746 search results - page 40 / 150 » The NASA standard for models and simulations |
143
click to vote
FSTTCS
2009
Springer
16 years 20 days ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
164
click to vote
HICSS
2008
IEEE
16 years 17 days ago
2008
IEEE
Proposed and developed is the language Service Composition (SC) CoJava, which extends the programming language Java with (1) a modular service composition framework; (2) an extens...
124
click to vote
TASLP
2010
15 years 4 months ago
2010
—In this paper, a complete method for finite-difference time-domain modeling of rooms in 2-D using compact explicit schemes is presented. A family of interpolated schemes using ...
145
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
Retiming is a widely investigated technique for performance optimization. It performs powerful modifications on a circuit netlist. However, often it is not clear, whether the pred...
155
click to vote
BMEI
2008
IEEE
16 years 18 days ago
2008
IEEE
In this study, simulation models were developed to explore the effects of decentralization and interdependence on individuals working in research groups. We conducted the study by...