623 search results - page 53 / 125 » Declarative Network Verification |
SCN
2008
Springer
13 years 8 months ago
2008
Springer
Relative location information helps build vehicle topology maps. Such maps provide location information of nearby vehicles to drivers. In building a vehicle topology, one must cons...
NETGAMES
2004
ACM
14 years 2 months ago
2004
ACM
It is usually hard to control the network conditions affecting public online game servers when studying the impact of latency, loss and jitter on user experience. This leads to a ...
EXACT
2009
13 years 6 months ago
2009
Across many fields involving complex computing, software systems are being augmented with workflow logging functionality. The log data can be effectively organized using declarativ...
CORR
2011
Springer
13 years 17 days ago
2011
Springer
The problem of business-IT alignment is of widespread economic concern. As one way of addressing the problem, this paper describes an online system that functions as a kind of Wik...
MOBICOM
2006
ACM
14 years 2 months ago
2006
ACM
In this paper, we present our Advanced TCP Evaluation Testbed on Mixed Wired Internet and Satellite Environments. Categories and Subject Descriptors C.2.2 [Network Protocols]:–A...