Sciweavers

7080 search results - page 337 / 1416
» Designing High Integrity Systems Using Aspects
Sort
View
238
Voted
ICDE
2002
IEEE
164views Database» more  ICDE 2002»
16 years 5 months ago
Towards Meaningful High-Dimensional Nearest Neighbor Search by Human-Computer Interaction
Nearest Neighbor search is an important and widely used problem in a number of important application domains. In many of these domains, the dimensionality of the data representati...
Charu C. Aggarwal
119
Voted
ICDCSW
2006
IEEE
15 years 9 months ago
Benchmarking a Semantic Web Service Architecture for Fault-tolerant B2B Integration
With the development and maturity of ServiceOriented Architectures (SOA) to support business-tobusiness transactions, organizations are implementing Web services to expose their p...
Jorge Cardoso
134
Voted
HASE
1998
IEEE
15 years 8 months ago
Formal Specification in Collaborative Design of Critical Software Tools
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
David Coppit, Kevin J. Sullivan
126
Voted
WWW
2005
ACM
16 years 4 months ago
Design and implementation of a feedback controller for slowdown differentiation on internet servers
Proportional slowdown differentiation (PSD) aims to maintain slowdown ratios between different classes of clients according to their pre-specified differentiation parameters. In t...
Jianbin Wei, Cheng-Zhong Xu
147
Voted
DAC
2009
ACM
15 years 7 months ago
Fast vectorless power grid verification using an approximate inverse technique
Power grid verification in modern integrated circuits is an integral part of early system design where adjustments can be most easily incorporated. In this work, we describe an ea...
Nahi H. Abdul Ghani, Farid N. Najm