Sciweavers

607 search results - page 64 / 122
» Unifying Exact Completions
Sort
View
TRIDENTCOM
2006
IEEE
15 years 5 months ago
A testbed demonstrating optical IP switching (OIS) in disaggregated network architectures
: The lack of a unified control plane does not allow current optical networks to dynamically provision new optical paths. The IETF standardization body has proposed the Generalized...
Marco Ruffini, Donal O'Mahony, Linda Doyle
W4A
2006
ACM
15 years 5 months ago
Physical usability and the mobile web
This paper examines the degree of overlap between for physical ease of access on the Web in general, and physical ease of use on the mobile Web. There differences in the basic int...
Shari Trewin
83
Voted
ISMIS
2005
Springer
15 years 4 months ago
Towards Ad-Hoc Rule Semantics for Gene Expression Data
The notion of rules is very popular and appears in different flavors, for example as association rules in data mining or as functional (or multivalued) dependencies in databases. ...
Marie Agier, Jean-Marc Petit, Einoshin Suzuki
EUROPKI
2004
Springer
15 years 4 months ago
On the Use of Weber Polynomials in Elliptic Curve Cryptography
Abstract. In many cryptographic applications it is necessary to generate elliptic curves (ECs) with certain security properties. These curves are commonly constructed using the Com...
Elisavet Konstantinou, Yannis C. Stamatiou, Christ...
PODC
2003
ACM
15 years 4 months ago
A lattice-theoretic characterization of safety and liveness
The distinction between safety and liveness properties is due to Lamport who gave the following informal characterization. Safety properties assert that nothing bad ever happens w...
Panagiotis Manolios, Richard J. Trefler