1554 search results - page 127 / 311 » cases 2003 |
123
Voted
ICSE
2003
IEEE-ACM
16 years 5 months ago
2003
IEEE-ACM
In this paper we discuss an approach for simulating the behaviour of interactive software systems, before starting on any of the actual implementation, based on a model of the sys...
125
Voted
ICSE
2003
IEEE-ACM
16 years 5 months ago
2003
IEEE-ACM
Software development organisations are paying more and more attention to the usability of their software products. To raise the usability level of the software product, it is nece...
132
click to vote
ICFP
2003
ACM
16 years 5 months ago
2003
ACM
We propose a conservative extension of HM(X), a generic constraint-based type inference framework, with bounded existential (a.k.a. abstract) and universal (a.k.a. polymorphic) da...
149
Voted
ICCAD
2003
IEEE
16 years 2 months ago
2003
IEEE
This paper presents a generalized semi-analytic method for computing oscillator phase noise spectra, including the details very close to the oscillation frequency. The starting po...
144
Voted
CANS
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. At CRYPTO 2003, Rubin and Silverberg introduced the concept of torus-based cryptography over a finite field. We extend their setting to the ring of integers modulo N. W...