Sciweavers

748 search results - page 96 / 150
» Requirements Driven Quality Control
Sort
View
CAV
2007
Springer
111views Hardware» more  CAV 2007»
15 years 9 months ago
Verification Across Intellectual Property Boundaries
In many industries, the share of software components provided by third-party suppliers is steadily increasing. As the suppliers seek to secure their intellectual property (IP) righ...
Sagar Chaki, Christian Schallhart, Helmut Veith
ATAL
2006
Springer
15 years 8 months ago
Solving POMDPs using quadratically constrained linear programs
Developing scalable algorithms for solving partially observable Markov decision processes (POMDPs) is an important challenge. One promising approach is based on representing POMDP...
Christopher Amato, Daniel S. Bernstein, Shlomo Zil...
145
Voted
JNW
2006
118views more  JNW 2006»
15 years 4 months ago
UMTS Capacity and Throughput Maximization for Different Spreading Factors
An analytical model for calculating capacity in multi-cell UMTS networks is presented. Capacity is maximized for different spreading factors and for perfect and imperfect power con...
Robert Akl, Son Nguyen
PERCOM
2011
ACM
14 years 8 months ago
A self-powered adaptive wireless sensor network for wastewater treatment plants
Efficient monitoring and control of wastewater treatment plants (WWTPs) has become an important public issue as the cost of electricity continues to grow and the quality requiremen...
Yu Chen, Christopher M. Twigg, Omowunmi A. Sadik, ...
CSI
2007
98views more  CSI 2007»
15 years 4 months ago
An architecture for flexible scheduling in Profibus networks
Recently, much attention has been given to the need to endow industrial communication networks used in real-time systems with flexible scheduling. This allows control systems to a...
J. Silvestre, V. Sempere