Sciweavers

5494 search results - page 60 / 1099
» E-services Management Requirements
Sort
View
CADE
2004
Springer
16 years 27 days ago
The ICS Decision Procedures for Embedded Deduction
contexts such as construction of abstractions, speed may be favored over completeness, so that undecidable theories (e.g., nonlinear integer arithmetic) and those whose decision pr...
Leonardo Mendonça de Moura, Sam Owre, Haral...
98
Voted
ICCS
2005
Springer
15 years 6 months ago
Dynamic Memory Management in the Loci Framework
Abstract. Resource management is a critical concern in high-performance computing software. While management of processing resources to increase performance is the most critical, e...
Yang Zhang, Edward A. Luke
IM
2007
15 years 2 months ago
Towards Automatic Composition of Network Management Web Services
— Despite the automation in many domains, network management still requires a lot of manual interaction. With the ongoing rapid growth of the Internet and the number of connected...
Torsten Klie, Felix Gebhard, Stefan Fischer
203
Voted
CII
2006
125views more  CII 2006»
15 years 19 days ago
Agent-based model for managing composite product information
The importance of product information management during the whole lifetime of the product has increased due to the technical sophistication of products as well as stricter governm...
Kary Främling, Timo Ala-Risku, Mikko Kär...
127
Voted
LWA
2004
15 years 2 months ago
VISION - a Semantic Web Portal for Describing the State-of-the-art on European Knowledge Management
For the realization of this strategic roadmap project a scenario-driven approach has been used, i.e. several scenarios for possible future applications concerning KM have been deve...
Mark Hefke