Sciweavers

4052 search results - page 430 / 811
» integration 2007
Sort
View
SECURWARE
2007
IEEE
16 years 1 months ago
Understanding and Specifying Information Security Needs to Support the Delivery of High Quality Security Services
—In this paper we present an approach for specifying and prioritizing information security requirements in organizations. It is important to prioritize security requirements sinc...
Xiaomeng Su, Damiano Bolzoni, Pascal van Eck
SMC
2007
IEEE
134views Control Systems» more  SMC 2007»
16 years 1 months ago
A Petri net-based approach to QoS-aware configuration for web services
: With the development of enterprise-wide and cross-enterprise application integration and interoperation towards web service, web service providers try to not only fulfill the fun...
PengCheng Xiong, Yushun Fan, MengChu Zhou
TPHOL
2007
IEEE
16 years 1 months ago
Source-Level Proof Reconstruction for Interactive Theorem Proving
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
Lawrence C. Paulson, Kong Woei Susanto
VTC
2007
IEEE
117views Communications» more  VTC 2007»
16 years 1 months ago
Hop Distance Based Routing Protocol for MANET
—The Hop Distance based Routing Protocol (HDR) is an on-demand based routing protocol suited for mobile ad hoc networks integrated with wired networks. HDR considers an efficient...
Filip Cuckov, Min Song
VTC
2007
IEEE
107views Communications» more  VTC 2007»
16 years 1 months ago
Random Switched Beamforming for Uplink Wireless Sensor Networks
– Integration of beamforming to sensors is very beneficial for a reduction of transmission power consumption and for improvement of the overall system performance. Unfortunately,...
Mohammed Elmusrati, Vesa Hasu