Sciweavers

2498 search results - page 395 / 500
» A tool for materials exploration
Sort
View
AIMSA
2004
Springer
15 years 12 months ago
Capturing Semantics Towards Automatic Coordination of Domain Ontologies
Existing efforts on ontology mapping, alignment and merging vary from methodological and theoretical frameworks, to methods and tools that support the semi-automatic coordination o...
Konstantinos Kotis, George A. Vouros, Kostas Sterg...
SAS
2004
Springer
136views Formal Methods» more  SAS 2004»
15 years 12 months ago
Constraint-Based Linear-Relations Analysis
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...
CODES
2003
IEEE
15 years 11 months ago
RTOS scheduling in transaction level models
the level of abstraction in system design promises to enable faster exploration of the design space at early stages. While scheduling decision for embedded software has great impa...
Haobo Yu, Andreas Gerstlauer, Daniel Gajski
HICSS
2003
IEEE
138views Biometrics» more  HICSS 2003»
15 years 11 months ago
Can IT Help Government to Restore Public Trust?: Declining Public Trust and Potential Prospects of IT in the Public Sector
During the past four decades, public trust in governments has continued to diminish due to various administrative, political, socio-cultural, economic, and mass media causes. Focu...
M. Jae Moon
HICSS
2003
IEEE
164views Biometrics» more  HICSS 2003»
15 years 11 months ago
From Computer Networks to Agent Networks
From the 1990s on, one of the most important challenges facing computer science researchers has been the design and construction of software tools to exploit Internet computing. A...
Guoqiang Zhong, Kenichi Takahashi, Satoshi Amamiya...