37
Voted
CORR
2006
Springer
15 years 23 days ago
2006
Springer
We propose some slight additions to O-O languages to implement the necessary features for using Deductive Object Programming (DOP). This way of programming based upon the manipula...
CORR
2006
Springer
15 years 23 days ago
2006
Springer
46
Voted
CORR
2006
Springer
15 years 23 days ago
2006
Springer
102
Voted
CORR
2006
Springer
15 years 23 days ago
2006
Springer
We derive new upper and lower bounds on the fading number of multiple-input single-output (MISO) fading channels of general (not necessarily Gaussian) regular law with spatial and ...
85
Voted
CORR
2006
Springer
15 years 23 days ago
2006
Springer
Cyberinsurance is a powerful tool to align market incentives toward improving Internet security. We trace the evolution of cyberinsurance from traditional insurance policies to ear...
36
Voted
CORR
2006
Springer
15 years 23 days ago
2006
Springer
99
Voted
CORR
2006
Springer
15 years 23 days ago
2006
Springer
Meseguer's rewriting logic and the rewriting logic CRWL are two well-known approaches to rewriting as logical deduction that, despite some clear similarities, were designed w...
89
Voted
CORR
2006
Springer
15 years 23 days ago
2006
Springer
Motivated by the problem of the coexistence on transmission links of telecommunication networks of elastic and unresponsive traffic, we study in this paper the impact on the busy p...
63
Voted
CORR
2006
Springer
15 years 23 days ago
2006
Springer
36
Voted
CORR
2006
Springer
15 years 23 days ago
2006
Springer
