5267 search results - page 645 / 1054 » Methods for Knowledge Based Controlling of Distributed Syste... |
234
click to vote
CBSQ
2003
Springer
16 years 2 days ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
165
click to vote
IPSN
2005
Springer
16 years 10 days ago
2005
Springer
— We have designed and constructed a modular platform for use in compact wireless sensing. This platform is based around a series of circuit boards (or panes), each of which inst...
192
Voted
ESWS
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we describe a web-based tool that supports the human in revising ontology alignments. Our tool uses logical reasoning as a basis for detecting conflicts in mappings ...
157
click to vote
GLVLSI
2003
IEEE
16 years 4 days ago
2003
IEEE
Decreasing feature sizes and increasing package densities are making thermal issues extremely important in IC design. Uneven thermal maps and hot spots in ICs cause physical stres...
201
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we examine the special requirements of lifecycle management for entities in the context of an entity management system for the semantic web. We study the requirement...