3239 search results - page 512 / 648 » A Logical Process Calculus |
84
Voted
OPODIS
2007
15 years 2 months ago
2007
Considering an asynchronous system made up of n processes and where up to t of them can crash, finding the weakest assumptions that such a system has to satisfy for a common leade...
104
Voted
DAGSTUHL
2001
15 years 2 months ago
2001
Software visualization has been almost exclusively tackled from the visual point of view; this means visualization occurs exclusively through the visual channel. This approach has ...
84
Voted
DAC
2009
ACM
16 years 1 months ago
2009
ACM
Post-silicon processor debugging is frequently carried out in a loop consisting of several iterations of the following two key steps: (i) processor execution for some duration, fo...
190
Voted
POPL
2007
ACM
16 years 1 months ago
2007
ACM
It is well recognized that JavaScript can be exploited to launch browser-based security attacks. We propose to battle such attacks using program instrumentation. Untrusted JavaScr...
106
click to vote
CICLING
2001
Springer
15 years 5 months ago
2001
Springer
In logic, the spatio-temporal location of a proposition is characterized precisely within a Cartesian system of space and time coordinates. This is suitable for characterizing the ...