1916 search results - page 319 / 384 » Reasoning with class algebra |
SECON
2007
IEEE
14 years 3 months ago
2007
IEEE
—Increasingly many wireless sensor network deployments are using harvested environmental energy to extend system lifetime. Because the temporal profiles of such energy sources e...
SRDS
2007
IEEE
14 years 3 months ago
2007
IEEE
Fault tolerant distributed protocols typically utilize a homogeneous fault model, either fail-crash or fail-Byzantine, where all processors are assumed to fail in the same manner....
VTC
2007
IEEE
14 years 3 months ago
2007
IEEE
— Current UWB systems apply convolutional codes as their channel coding scheme. For next generation systems LDPC codes are in discussion due to their outstanding communications p...
CCS
2007
ACM
14 years 3 months ago
2007
ACM
er presents a novel approach for concisely abstracting authentication s and for subsequently analyzing those abstractions in a sound manner, i.e., deriving authentication guarante...
FCT
2007
Springer
14 years 3 months ago
2007
Springer
In most mainstream object-oriented languages, the object initialization protocol is based on constructors, where different constructors of the same class are, in fact, overloaded ...