6153 search results - page 867 / 1231 » Modeling Cyclic Change |
166
click to vote
EUROMICRO
1996
IEEE
15 years 11 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
188
click to vote
ICDCS
1996
IEEE
15 years 11 months ago
1996
IEEE
: Software capabilities are a very convenient means to protect co-operating applications. They allow access rights to be dynamically exchanged between mutually suspicious interacti...
186
click to vote
HPDC
1993
IEEE
15 years 11 months ago
1993
IEEE
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...
158
click to vote
CSFW
1992
IEEE
15 years 11 months ago
1992
IEEE
Most security models explicitly (or implicitly) include the tranquillity principle which prohibits changing the security level of a given piece of information. Yet in practical sy...
171
click to vote
SIGGRAPH
1994
ACM
15 years 11 months ago
1994
ACM
We present a new particle-based approach to sampling and controlling implicit surfaces. A simple constraint locks a set of particles onto a surface while the particles and the sur...