7971 search results - page 247 / 1595 » On unbounded operators and applications |
147
click to vote
COMCOM
2000
15 years 6 months ago
2000
We explain how the formal language LOTOS can be used to specify security protocols and cryptographic operations. We describe how security properties can be modelled as safety prop...
185
click to vote
TC
1998
15 years 6 months ago
1998
—The achievement of media synchronization has been dealt with in the Object Composition Petri Net (OCPN) model and the extended OCPN (XOCPN) model. Yet these two models are not e...
207
click to vote
FCCM
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—Ballooning traffic volumes and increasing linkspeeds require ever high compute power to perform complex real-time processing of network packets. FPGAs have already been...
287
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
Memoization is a well-known optimization technique used to eliminate redundant calls for pure functions. If a call to a function f with argument v yields result r, a subsequent ca...
186
click to vote
KDD
2003
ACM
16 years 7 months ago
2003
ACM
A data stream is a massive unbounded sequence of data elements continuously generated at a rapid rate. Consequently, the knowledge embedded in a data stream is more likely to be c...