1269 search results - page 136 / 254 » Pi-Calculus in Logical Form |
147
click to vote
EURODAC
1994
IEEE
15 years 9 months ago
1994
IEEE
An approach for stuck-at-i and delay-fault testing of redundant circuits without modifying the logic is proposed. The only requirement is the ability to control both phases of eac...
125
click to vote
CALCO
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. CIRC is an automated circular coinductive prover implemented as an extension of Maude. The circular coinductive technique that forms the core of CIRC is discussed, togeth...
165
click to vote
AHS
2006
IEEE
15 years 9 months ago
2006
IEEE
The following article describes and discusses the suitability of the particle swarm optimization (PSO) for the employment with blind adaptation of the directional characteristic o...
145
click to vote
FINTAL
2006
15 years 9 months ago
2006
Abstract. Discourse segmentation is the division of a text into minimal discourse segments, which form the leaves in the trees that are used to represent discourse structures. A de...
139
click to vote
SP
2000
IEEE
15 years 9 months ago
2000
IEEE
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...