1567 search results - page 178 / 314 » A Mechanized Model of the Theory of Objects |
101
Voted
CERA
2010
2010
A Framework of Describing and Managing Engineering Analysis Modeling Knowledge for Design Validation
15 years 1 months ago
Engineering design is validated by engineering analysis. In the process for predicting the physical behavior of the design, the design components, physical mechanisms, etc. are id...
141
click to vote
MSS
2003
IEEE
15 years 7 months ago
2003
IEEE
Caching techniques have been used to improve the performance gap of storage hierarchies in computing systems. In data intensive applications that access large data files over wid...
197
click to vote
VLDB
1998
ACM
15 years 1 months ago
1998
ACM
The increasing power of modern computers steadily opens up new application domains for advanced data processing such as engineering and knowledge-based applications. To meet their...
129
Voted
INFOCOM
2010
IEEE
15 years 5 days ago
2010
IEEE
Abstract—We study network optimization that considers energy minimization as an objective. Studies have shown that mechanisms such as speed scaling can significantly reduce the ...
105
click to vote
EUROMICRO
2005
IEEE
15 years 7 months ago
2005
IEEE
Objective: Formal definition of composition assessment metrics for CBSE, using an extension of the CORBA Component Model metamodel as the ontology for describing component assembl...