3239 search results - page 512 / 648 » A Logical Process Calculus |
125
click to vote
OPODIS
2007
15 years 7 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...
150
click to vote
DAGSTUHL
2001
15 years 6 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 ...
129
click to vote
DAC
2009
ACM
16 years 6 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...
249
click to vote
POPL
2007
ACM
16 years 5 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...
150
Voted
CICLING
2001
Springer
15 years 10 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 ...