27 search results - page 1 / 6 » Type-Constrained Generics for Z |
ZUM
2000
Springer
13 years 9 months ago
2000
Springer
We propose an extension to Z whereby generic parameters may have their types partially constrained. Using this mechanism it becomes possible to dene in Z much of its own schema cal...
FM
1999
Springer
13 years 9 months ago
1999
Springer
CAEPIA
2003
Springer
13 years 10 months ago
2003
Springer
This paper describes how agent and knowledge technology can be used to build advanced software systems that support operational decisionn complex domains. In particular, we present...
DAC
2011
ACM
12 years 5 months ago
2011
ACM
In the era of deep sub-wavelength lithography for nanometer VLSI designs, manufacturability and yield issues are critical and need to be addressed during the key physical design i...
PAIRING
2007
Springer
13 years 11 months ago
2007
Springer
— In EUROCRYPT 2006, Cheon proposed breakthrough algorithms for pairing-related problems such as the q-weak/strong Diffie-Hellman problem. Using that the exponents of an element ...