1833 search results - page 136 / 367 » Mechanized Verification with Sharing |
215
click to vote
SCN
2008
Springer
15 years 4 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...
131
click to vote
ICNS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper deals with the problem of assuring strict QoS guarantees for the end to end connections that originate from Ethernet access network. It shows that despite high link cap...
122
click to vote
PADS
2005
ACM
15 years 10 months ago
2005
ACM
We introduce a novel worm containment strategy that integrates two complementary worm quarantine techniques. The two techniques are linked, with one strategy employing the other a...
131
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
Knowledge portals aim at facilitating the location, sharing and dissemination of information by sitting ontologies at the core of the system. For heterogeneous environments where c...
148
click to vote
CIA
2000
Springer
15 years 9 months ago
2000
Springer
Auctions are proposed as a distributed negotiation mean, particularly useful in multiagent systems where both cooperative and self-interested agents compete for resources and serv...