Sciweavers

3387 search results - page 416 / 678
» Automating the Metamodeling Process
Sort
View
DEXAW
2004
IEEE
148views Database» more  DEXAW 2004»
15 years 10 months ago
A Knowledge-based Framework for Dynamic Semantic Web Services Brokering and Management
The concept of automating Web services, specifically the brokering activities, is an active research topic. We need a comprehensive and overarching framework that handles the disc...
Randy Howard, Larry Kerschberg
ECAI
2004
Springer
15 years 10 months ago
Knowledge-Based Cinematography and Its Applications
Automated control of a virtual camera is useful for both linear animation and interactive virtual environments. We have constructed a knowledge-based system that allows users to e...
Doron A. Friedman, Yishai A. Feldman
EH
2004
IEEE
125views Hardware» more  EH 2004»
15 years 10 months ago
Routine High-Return Human-Competitive Evolvable Hardware
This paper reviews the use of genetic programming as an automated invention machine for the synthesis of both the topology and sizing of analog electrical circuits. The paper focu...
John R. Koza, Martin A. Keane, Matthew J. Streeter
DSOM
2006
Springer
15 years 10 months ago
Ontology-Based Policy Refinement Using SWRL Rules for Management Information Definitions in OWL
Abstract. The goal of ontology-based management is to improve the manageability of network resources through the application of formal ontologies. Prior research work has studied t...
Antonio Guerrero, Víctor A. Villagrá...
ERSHOV
2006
Springer
15 years 10 months ago
Formal Methods in Industrial Software Standards Enforcement
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
Alexey Grinevich, Alexey V. Khoroshilov, Victor V....