1346 search results - page 137 / 270 » Alternating-time dynamic logic |
159
click to vote
ASUNAM
2009
IEEE
16 years 8 days 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 ...
135
click to vote
LADC
2007
Springer
15 years 11 months 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 ...
150
click to vote
DATE
2002
IEEE
15 years 10 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...
178
click to vote
MFCS
1991
Springer
15 years 9 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...
288
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...