Sciweavers

3061 search results - page 291 / 613
» integration 2006
Sort
View
AOSE
2006
Springer
15 years 10 months ago
Designing Institutional Multi-Agent Systems
Abstract. The vision of agents working together on the Internet, in virtual organizations, is one that is increasingly common. However, one of the issues is the regulation of the p...
Carles Sierra, John Thangarajah, Lin Padgham, Mich...
CSC
2006
15 years 8 months ago
Computational Algorithm for Higher Order Legendre Polynomial and Gaussian Quadrature Method
: - There are many numerical methods adopted to solve mathematical problems. Early researchers focused on the methods to reduce computational costs. In recent years, reduction in c...
Asif Mughal, Xiu Ye, Kamran Iqbal
DKE
2006
138views more  DKE 2006»
15 years 6 months ago
Using the uni-level description (ULD) to support data-model interoperability
We describe a framework called the Uni-Level Description (ULD) for accurately representing information from a broad range of data models. The ULD extends previous metadata-model a...
Shawn Bowers, Lois M. L. Delcambre
DEXAW
2006
IEEE
114views Database» more  DEXAW 2006»
16 years 24 days ago
A Tool for Collaborative Construction of Large Biological Ontologies
In order for ontologies to be broadly useful to the scientific community, they need to capture knowledge and expertise of multiple experts and research groups. Consequently, the ...
Jie Bao, Zhiliang Hu, Doina Caragea, James Reecy, ...
GLVLSI
2006
IEEE
105views VLSI» more  GLVLSI 2006»
16 years 24 days ago
A practical approach for monitoring analog circuits
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
Mohamed H. Zaki, Sofiène Tahar, Guy Bois