2268 search results - page 100 / 454 » The Essence of Form Abstraction |
ICTAC
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In higher-order process calculi the values exchanged in communications may contain processes. There are only two capabilities for received processes: execution and forwar...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— We present a method of dynamic coalition formation (DCF) in sensor networks to achieve well-informed sensor-target allocations. Forecasts of target movements are incorp...
ICC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract—A person usually carries multiple authentication tokens in the form of various cards to access services electronically. Often the service outlets are equipped with a str...
QEST
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification o...
AH
2008
Springer
14 years 2 months ago
2008
Springer
Abstract. Collaborative Web search (CWS) is a community-based approach to Web search that supports the sharing of past result selections among a group of related searchers so as to...