Sciweavers

2231 search results - page 2 / 447
» Alternation as a programming paradigm
Sort
View
137
Voted
CONCUR
2004
Springer
15 years 9 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
119
Voted
HICSS
1997
IEEE
104views Biometrics» more  HICSS 1997»
15 years 7 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...
102
Voted
CCS
2001
ACM
15 years 8 months ago
Twin signatures: an alternative to the hash-and-sign paradigm
David Naccache, David Pointcheval, Jacques Stern