1010 search results - page 188 / 202 » Logics for Contravariant Simulations |
130
click to vote
MFCS
1991
Springer
15 years 5 months ago
1991
Springer
Weak Observational Congruence (woc) defined on CCS agents is not a bisimulation since it does not require two states reached by bisimilar computations of woc agents to be still w...
154
click to vote
WCE
2007
15 years 3 months ago
2007
—Spatial query execution is an essential functionality of a sensor network. Redundancy within a sensor network can be exploited to reduce the communication cost incurred in execu...
124
click to vote
SIGCOMM
2010
ACM
15 years 2 months ago
2010
ACM
Data center networks encode locality and topology information into their server and switch addresses for performance and routing purposes. For this reason, the traditional address...
126
click to vote
CN
2008
15 years 2 months ago
2008
We propose a router-based technique to mitigate the stealthy reduction of quality (RoQ) attacks at the routers in the Internet. The RoQ attacks have been shown to impair the QoS s...
153
click to vote
VIS
2009
IEEE
16 years 3 months ago
2009
IEEE
In this paper we describe a novel method to integrate interactive visual analysis and machine learning to support the insight generation of the user. The suggested approach combine...