Sciweavers

3640 search results - page 402 / 728
» Combining Fuzzy Information from Multiple Systems
Sort
View
STTT
2008
134views more  STTT 2008»
15 years 6 months ago
Automated verification of access control policies using a SAT solver
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...
Graham Hughes, Tevfik Bultan
CN
2004
104views more  CN 2004»
15 years 6 months ago
On detecting feature interactions in the programmable service environment of Internet telephony
This paper presents a new method to tackle the feature interaction problem in Internet telephony with the CPL (Call Processing Language) programmable service environment. To cope ...
Masahide Nakamura, Pattara Leelaprute, Ken-ichi Ma...
VLSID
2007
IEEE
120views VLSI» more  VLSID 2007»
16 years 7 months ago
Interframe Bus Encoding Technique for Low Power Video Compression
This paper proposes a data encoder to reduce switched capacitance on system bus. Our method focuses on transferring raw video data (pixels) between off-chip memory and on-chip mem...
Asral Bahari, Tughrul Arslan, Ahmet T. Erdogan
INFOCOM
2006
IEEE
16 years 21 days ago
Performance of VoIP in a 802.11 Wireless Mesh Network
— Performance in multihop wireless networks is known to degrade with the number of hops for both TCP and UDP traffic. For VoIP, the wireless network presents additional challeng...
Dragor Niculescu, Samrat Ganguly, Kyungtae Kim, Ra...
HOTI
2002
IEEE
15 years 11 months ago
A Four-Terabit Single-Stage Packet Switch with Large Round-Trip Time Support
We present the architecture and practical VLSI implementation of a 4-Tb/s single-stage switch. It is based on a combined input- and crosspoint-queued structure with virtual output...
François Abel, Cyriel Minkenberg, Ronald P....