Sciweavers

601 search results - page 87 / 121
» Quantified Equality Constraints
Sort
View
120
Voted
SE
2010
15 years 2 months ago
Automated Benchmarking of Java APIs
: Performance is an extra-functional property of software systems which is often critical for achieving sufficient scalability or efficient resource utilisation. As many applicatio...
Michael Kuperberg, Fouad Omri, Ralf Reussner
CSREAESA
2006
15 years 2 months ago
Reliable Management Services for COTS-based Space Systems and Applications
Hybrid spacecraft processing platforms that combine radiation-hardened components with commercialgrade COTS components have the potential to dramatically improve performance while ...
Ian A. Troxel, Eric Grobelny, Grzegorz Cieslewski,...
WSC
2004
15 years 2 months ago
Evaluation of Secure Peer-to-Peer Overlay Routing for Survivable SCADA Systems
Supervisory Control And Data Acquisition (SCADA) systems gather and analyze data for real-time control. SCADA systems are used extensively, in applications such as electrical powe...
Jeffrey J. Farris, David M. Nicol
118
Voted
AI
2008
Springer
15 years 1 months ago
Analysing inconsistent first-order knowledgebases
It is well-known that knowledgebases may contain inconsistencies. We provide a framework of measures, based on a first-order four-valued logic, to quantify the inconsistency of a ...
John Grant, Anthony Hunter
93
Voted
CORR
2008
Springer
125views Education» more  CORR 2008»
15 years 1 months ago
Power Control in Cognitive Radio Networks: How to Cross a Multi-Lane Highway
Abstract--We consider power control in cognitive radio networks where secondary users identify and exploit instantaneous and local spectrum opportunities without causing unacceptab...
Wei Ren, Qing Zhao, Ananthram Swami