1127 search results - page 36 / 226 » Perspectives and Complex Aggregates |
95
Voted
FORTE
2007
15 years 2 months ago
2007
Abstract. We present a formal specification and analysis of a faulttolerant DHCP algorithm, used to automatically configure certain host parameters in an IP network. Our algorith...
81
Voted
INTERACT
2007
15 years 2 months ago
2007
This short paper questions the focus on automation of egovernment processes, and efficiency in e-government, which is prevalent in both research and in practice in Swedish governm...
114
Voted
ARC
2010
Springer
15 years 28 days ago
2010
Springer
: System identification is the art and science of building mathematical models of dynamic systems from observed input-output data. It can be seen as the interface between the real ...
86
Voted
JCM
2006
15 years 23 days ago
2006
QoS Routing has been studied to provide evidence that it can increase network utilization compared to routing that is insensitive to QoS traffic requirements. However, because of i...
102
Voted
DRM
2003
Springer
15 years 6 months ago
2003
Springer
We investigate the darknet – a collection of networks and technologies used to share digital content. The darknet is not a separate physical network but an application and protoc...