1341 search results - page 142 / 269 » Dynamic Testimonial Logic |
203
click to vote
HASE
1998
IEEE
15 years 10 months ago
1998
IEEE
Fault trees provide a graphical and logical framework for analyzing the reliability of systems. A fault tree provides a conceptually simple modeling framework to represent the sys...
176
click to vote
ASUNAM
2009
IEEE
16 years 1 months ago
2009
IEEE
—We envision new communication paradigms, using physical dynamic interconnectedness among people. Delay Tolerant Networks (DTNs) are a new communication paradigm to support such ...
152
click to vote
LADC
2007
Springer
16 years 16 days ago
2007
Springer
A distributed dynamic system is a fully distributed system subject to a continual arrival/departure of the entities defining the system. Another characterizing dimension of these ...
163
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
—The dynamic programmable logic array (PLA) style has become popular in designing high-performance microprocessors because of its high speed and predictable routing delay. Howeve...
192
click to vote
MFCS
1991
Springer
15 years 10 months ago
1991
Springer
Weak Observational Congruence (woc) defined on CCS agents is not a bisimulation since it does not require two states reached by bisimilar computations of woc agents to be still w...