5451 search results - page 858 / 1091 » Typed Operational Semantics |
143
click to vote
CC
2000
Springer
15 years 10 months ago
2000
Springer
Mode-Automata have been proposed in [11]. They introduce, in the domain-specific data-flow language Lustre for reactive systems, a new construct devoted to the expression of runn...
135
click to vote
SIGMETRICS
1999
ACM
15 years 10 months ago
1999
ACM
—This paper evaluates techniques for improving operating system and network protocol software support for high-performance World Wide Web servers. We study approaches in three ca...
155
click to vote
SIGMOD
1999
ACM
15 years 10 months ago
1999
ACM
In this paper we present a mechanism for translating constraint queries, i.e., Boolean expressions of constraints, across heterogeneous information sources. Integrating such syste...
151
click to vote
IDEAS
1999
IEEE
15 years 10 months ago
1999
IEEE
Data integration of several sources has gained considerable attentions with the recent popularity of the Web. In the real world, some information may be missing i.e., partial and ...
173
click to vote
LICS
1999
IEEE
15 years 10 months ago
1999
IEEE
Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified ...