Sciweavers

2231 search results - page 2 / 447
» Alternation as a programming paradigm
Sort
View
CONCUR
2004
Springer
13 years 10 months ago
Open Maps, Alternating Simulations and Control Synthesis
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
Paulo Tabuada
HICSS
1997
IEEE
104views Biometrics» more  HICSS 1997»
13 years 9 months ago
A Simulation Tool for Analysis of Alternative Paradigms for the New Electricity Business
Variousproposals have been madefor new paradigms for operating the restructuring electrical system. One of the key challenges associated with this restructuring is to effectively ...
Thomas J. Overbye, Peter W. Sauer, George Gross, M...
CCS
2001
ACM
13 years 9 months ago
Twin signatures: an alternative to the hash-and-sign paradigm
David Naccache, David Pointcheval, Jacques Stern