2036 search results - page 277 / 408 » A generic type-and-effect system |
169
click to vote
ICAIL
2003
ACM
16 years 4 days ago
2003
ACM
Name matching—recognizing when two different strings are likely to denote the same entity—is an important task in many legal information systems, such as case-management syste...
197
click to vote
SAC
2003
ACM
16 years 4 days ago
2003
ACM
Matchmaking is the problem of matching offers and requests, such as supply and demand in a marketplace, services and customers in a service agency, etc., where both partners are ...
175
click to vote
EUROCRYPT
2003
Springer
16 years 3 days ago
2003
Springer
A classical construction of stream ciphers is to combine several LFSRs and a highly non-linear Boolean function f. Their security is usually analysed in terms of correlation attack...
166
click to vote
ISCC
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we study the problems of resource and performance management in channelized wireless networks. For identifying research issues systematically, we propose a research...
198
click to vote
EUROCAST
2001
Springer
15 years 11 months ago
2001
Springer
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...