1128 search results - page 140 / 226 » Little Engines of Proof |
144
click to vote
KBSE
2007
IEEE
16 years 20 days ago
2007
IEEE
Growth in the complexity of computing systems, in the dynamism of the environments they operate in, and the need for timely adaptations as conditions change, now pose significant...
180
click to vote
QSIC
2007
IEEE
16 years 19 days ago
2007
IEEE
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
167
click to vote
COMPSAC
2006
IEEE
16 years 13 days ago
2006
IEEE
—Many electronic voting systems, classified mainly as homomorphic cryptography based, mix-net based and blind signature based, appear after the eighties when zero knowledge proof...
182
click to vote
SCAM
2006
IEEE
16 years 11 days ago
2006
IEEE
Many software systems are mixed-language systems today, i.e., they bind together components defined in different programming and specification languages. Analyses and refactorin...
156
click to vote
SEFM
2006
IEEE
16 years 11 days ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...