Sciweavers

1510 search results - page 229 / 302
» The distributed Karhunen-Loeve transform
Sort
View
ICCS
2007
Springer
14 years 4 months ago
Integrated Decision Algorithms for Auto-steered Electric Transmission System Asset Management
Electric power transmission systems are comprised of a large number of physical assets, including transmission lines, power transformers, and circuit breakers, that are capital-int...
James D. McCalley, Vasant Honavar, Sarah M. Ryan, ...
ICSOC
2007
Springer
14 years 4 months ago
Service License Composition and Compatibility Analysis
Services enable the transformation of the World Wide Web as distributed interoperable systems interacting beyond organizational boundaries. Service licensing enables broader usage ...
G. R. Gangadharan, Michael Weiss, Vincenzo D'Andre...
KSEM
2007
Springer
14 years 4 months ago
A Merging-Based Approach to Handling Inconsistency in Locally Prioritized Software Requirements
Abstract. It has been widely recognized that the relative priority of requirements can help developers to resolve inconsistencies and make some necessary trade-off decisions. Howe...
Kedian Mu, Weiru Liu, Zhi Jin, Ruqian Lu, Anbu Yue...
MIDDLEWARE
2007
Springer
14 years 4 months ago
Correlation-Based Content Adaptation for Mobile Web Browsing
The resource impoverished environment on mobile devices results in a poor experience for users browsing the World Wide Web. Proxy-based middleware that transform content on the fl...
Iqbal Mohomed, Adin Scannell, Nilton Bila, Jin Zha...
SAS
2007
Springer
106views Formal Methods» more  SAS 2007»
14 years 4 months ago
Guided Static Analysis
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...
Denis Gopan, Thomas W. Reps