4770 search results - page 631 / 954 » Flexible Type Analysis |
149
click to vote
EDOC
2000
IEEE
15 years 11 months ago
2000
IEEE
Jini is a technology for building reliable, fault-tolerant distributed applications. Besides offering an infrastructure for clients to locate services, it introduces the concept o...
169
Voted
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
The widespread presence of errors in spreadsheets is now well-established. Quite a few methodological and software approaches have been suggested as ways to reduce spreadsheet err...
174
click to vote
ASPDAC
2000
ACM
15 years 11 months ago
2000
ACM
After a detailed analysis and discussion of two important characteristics of today’s battery cells (i.e., their current-capacity and current-voltage curves), this paper descr...
179
click to vote
ASIACRYPT
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We investigate several alternate characterizations of pseudorandom functions (PRFs) and pseudorandom permutations (PRPs) in a concrete security setting. By analyzing the ...
178
click to vote
POPL
1999
ACM
15 years 11 months ago
1999
ACM
Notions of program dependency arise in many settings: security, partial evaluation, program slicing, and call-tracking. We argue that there is a central notion of dependency commo...