1631 search results - page 247 / 327 » Observing Functional Logic Computations |
WECWIS
2003
IEEE
15 years 3 months ago
2003
IEEE
Converting a conventional contract into an electronic equivalent that can be executed and enforced by computers is a challenging task. The difficulties are caused by the ambiguiti...
AIMSA
1998
Springer
15 years 2 months ago
1998
Springer
The acceptance and usability of current interactive theorem proving environments is, among other things, strongly influenced by the availability of an intelligent default suggestio...
DIS
1998
Springer
15 years 2 months ago
1998
Springer
The statistical information processing can be characterized by the likelihood function de ned by giving an explicit form for an approximation to the true distribution. This mathema...
ICNP
1997
IEEE
15 years 2 months ago
1997
IEEE
TCP's ability to share a bottleneck fairly and efficiently decreases as the number of competing flows increases. This effect starts to appear when there are more flows than p...
APNOMS
2007
Springer
15 years 1 months ago
2007
Springer
End-to-End (E2E) flow monitoring is useful for observing performance of networks such as throughput, loss rate, and jitter. Typically, E2E flow monitoring is carried out at end hos...