Sciweavers

1989 search results - page 99 / 398
» cost 2010
Sort
View
TON
2010
115views more  TON 2010»
15 years 1 months ago
Design and Provisioning of WDM Networks With Many-to-Many Traffic Grooming
A large number of network applications today allow several users to interact together using the many-to-many service mode. In many-to-many communication, also referred to as group ...
M. A. Saleh, A. E. Kamal
TSE
2010
132views more  TSE 2010»
15 years 1 months ago
ASCENT: An Algorithmic Technique for Designing Hardware and Software in Tandem
Search-based software engineering is an emerging paradigm that uses automated search algorithms to help designers iteratively find solutions to complicated design problems. For exa...
Jules White, Brian Doughtery, Douglas C. Schmidt
ASM
2010
ASM
15 years 9 months ago
Automatic Verification for a Class of Proof Obligations with SMT-Solvers
Abstract. Software development in B and Event-B generates proof obligations that have to be discharged using theorem provers. The cost of such developments therefore depends direct...
David Déharbe
CCS
2010
ACM
15 years 7 months ago
Efficient sensor node authentication via 3GPP mobile communication networks
Energy efficiency is one of important issues in the resource contrained wireless sensor network. In this paper, we propose the authentication and key agreement protocol that effic...
Kyusuk Han, Jangseong Kim, Kwangjo Kim, Taeshik Sh...
SAC
2010
ACM
15 years 7 months ago
Spatiotemporal sampling for trajectory streams
In this paper, we present a summarization technique adapted to trajectory streams. The Spatiotemporal Stream Sampling (STSS) algorithm is a single-pass sampling technique that tak...
Mohamed Khalil El Mahrsi, Christine Potier, George...