898 search results - page 102 / 180 » Transitions of the Pre-Symmetry Set |
148
click to vote
EUROPKI
2007
Springer
16 years 15 days ago
2007
Springer
In this paper we propose the notion of security-by-contract, a mobile contract that an application carries with itself. The key idea of the framework is that a digital signature sh...
148
click to vote
SPIN
2007
Springer
16 years 14 days ago
2007
Springer
Verifying concurrent programs is challenging since the number of thread interleavings that need to be explored can be huge even for moderate programs. We present a cartesian semant...
158
click to vote
ACSD
2006
IEEE
16 years 13 days ago
2006
IEEE
A schedule of a Petri Net (PN) represents a set of firing sequences that can be infinitely repeated within a bounded state space, regardless of the outcomes of the nondeterminis...
146
click to vote
DATE
2006
IEEE
16 years 12 days ago
2006
IEEE
In this paper, we propose a new circuit transformation technique in conjunction with the use of a special diagnostic test pattern, named SO-SLAT pattern, to achieve higher multipl...
145
click to vote
DATE
2005
IEEE
15 years 12 months ago
2005
IEEE
A class of discrete event synthesis problems can be reduced to solving language equations F • X ⊆ S, where F is the fixed component and S the specification. Sequential synthes...