4211 search results - page 578 / 843 » Types as Abstract Interpretations |
169
click to vote
SAS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
200
click to vote
WISE
2000
Springer
15 years 11 months ago
2000
Springer
In this paper, we present a web-based architecture of a spatiotemporal video data management system, which can accommodate a wide range of activities by various types of users. Be...
174
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 ...
177
click to vote
ECWEB
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. There are many definitions for Mobile Electronic Commerce (MCommerce). We define M-Commerce as any type of transaction of an economic value having at least at one end a m...
173
click to vote
IUI
1999
ACM
15 years 10 months ago
1999
ACM
Model-based interface development systems have not been able to progress beyond producing narrowly focused interface designs of restricted applicability. We identify a -abstractio...