679 search results - page 131 / 136 » hybrid 2010 |
CORR
2010
Springer
13 years 4 months ago
2010
Springer
r of Abstraction (invited lecture) . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Barbara Liskov Fast Asynchronous Consensus with Optimal Resilience. . . . . . . . . . . ....
IEEECIT
2010
IEEE
13 years 3 months ago
2010
IEEE
—As the need for embedded systems to interact with other systems is growing fast, we see great opportunities in introducing the hardware-in-the-loop technique to the field of ha...
IJAMC
2010
13 years 3 months ago
2010
—When dealing with dynamic large-scale topologies such as those underlying peer-to-peer (P2P) distributed virtual environments (DVE), one inescapably reaches the point where eith...
JACM
2010
13 years 3 months ago
2010
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...
JCC
2010
13 years 3 months ago
2010
: The electron and proton transfer in phenol-imidazole-base systems (base 5 NH2 2 or OH2 ) were investigated by density-functional theory calculations. In particular, the role of b...