Sciweavers

2763 search results - page 274 / 553
» The Dangerous 'All' in Specifications
Sort
View
AICT
2006
IEEE
142views Communications» more  AICT 2006»
16 years 21 days ago
An Inter-Piconet Scheduling Algorithm for Bluetooth Scatternets
Bluetooth is a wireless specification delivering short-range radio communication between electronic devices that are equipped with specialized Bluetooth chips. It lets nearly all ...
Suman Saha, Mitsuji Matsumoto
COMSWARE
2006
IEEE
16 years 21 days ago
Comparing lexical analysis tools for buffer overflow detection in network software
Many of the bugs in distributed software modules are security vulnerabilities, the most common and also the most exploited of which are buffer overflows and they typically arise in...
Davide Pozza, Riccardo Sisto, Luca Durante, Adrian...
GLOBECOM
2006
IEEE
16 years 20 days ago
Two-Level Dynamic Bandwidth Allocation for a Space-to-Ground Relay Network
Abstract-We address issues related to efficiency, fairness, endto-end delay minimization and Quality-of-Service in order to enable a flexible access and dynamic mission operation c...
Hui Zeng, Michael H. Hadjitheodosiou, John S. Bara...
ICCAD
2006
IEEE
138views Hardware» more  ICCAD 2006»
16 years 20 days ago
Stepping forward with interpolants in unbounded model checking
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...
Gianpiero Cabodi, Marco Murciano, Sergio Nocco, St...
ICMCS
2006
IEEE
192views Multimedia» more  ICMCS 2006»
16 years 20 days ago
Classifier Optimization for Multimedia Semantic Concept Detection
In this paper, we present an AUC (i.e., the Area Under the Curve of Receiver Operating Characteristics (ROC)) maximization based learning algorithm to design the classifier for ma...
Sheng Gao, Qibin Sun