9067 search results - page 1772 / 1814 » Adaptive Model Checking |
205
click to vote
VISUALIZATION
2005
IEEE
16 years 21 hour ago
2005
IEEE
This paper describes the adaptation and evaluation of existing nestedsurface visualization techniques for the problem of displaying intersecting surfaces. For this work, we collab...
179
click to vote
SAC
2005
ACM
16 years 10 hour ago
2005
ACM
Peer-to-peer (P2P) has become an important computing model because of its adaptation, self-organization and autonomy etc. But efficient organization of the nodes in P2P networks i...
185
Voted
SASN
2005
ACM
16 years 10 hour ago
2005
ACM
Many emerging applications in both wired and wireless networks, such as information dissemination and distributed collaboration in an adversarial environment, need support of secu...
221
click to vote
WOWMOM
2005
ACM
16 years 7 hour ago
2005
ACM
Ad-hoc wireless networks with multi-rate radios (such as 802.11a, b, g) require a new class of MAC/PHY aware metrics that take into account factors such as physical-layer link spe...
195
Voted
ER
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Understanding a large schema without the assistance of persons already familiar with it (and its associated applications), is a hard and very time consuming task that occ...