8555 search results - page 369 / 1711 » Property Based Coordination |
214
click to vote
SETA
2004
Springer
16 years 28 days ago
2004
Springer
We study algebraic feedback shift registers (AFSRs) based on quotients of polynomial rings in several variables over a finite field. These registers are natural generalizations o...
180
click to vote
IOLTS
2003
IEEE
16 years 26 days ago
2003
IEEE
The paper describes a specific method for designing selfchecking checkers for m-out-of-n codes. The method is oriented to the Field Programmable Gate Arrays technology and is base...
246
click to vote
MEMOCODE
2003
IEEE
16 years 26 days ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
167
click to vote
FCT
2003
Springer
16 years 24 days ago
2003
Springer
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...
163
click to vote
AI
2007
Springer
15 years 11 months ago
2007
Springer
Different types of rules are mined from transaction databases often with the goal of improving sales and services. In this paper, we link the interestingness of rules with the cont...