Sciweavers

1933 search results - page 273 / 387
» A Dynamic Theory of Ontology
Sort
View
RTCSA
1997
IEEE
14 years 1 months ago
Behavior verification of hybrid real-time requirements by qualitative formalism
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
Jang-Soo Lee, Sung Deok Cha
DAC
2010
ACM
14 years 28 days ago
Circuit modeling for practical many-core architecture design exploration
Current tools for computer architecture design lack standard support for multi- and many-core development. We propose using circuit models to describe the multiple processor archi...
Dean Truong, Bevan M. Baas
ICDE
2007
IEEE
169views Database» more  ICDE 2007»
14 years 26 days ago
Semantic Web Services Composition: A Network Analysis Approach
"Software as a service" approach has become a reality since efforts of both industry and research focused on service integration on the web. It would be possible to see ...
Gokay Burak Akkus
ISN
2000
Springer
151views Communications» more  ISN 2000»
14 years 18 days ago
Agent-Based Management
In logistics of today's economy we have to deal with distributed systems. To support the demanding management task the multi-agent approach offers promising perspectives. For ...
Andreas Kind
VL
1991
IEEE
183views Visual Languages» more  VL 1991»
14 years 15 days ago
The Conceptual Programming Environment, CP: Reasoning Representation using Graph Structures and Operations
The Conceptual Programming environment, CP, being developed at the Computing Research Laboratory (CRL), is a complete knowledge representation visual programming environment for u...
Heather Pfeiffer, Roger T. Hartley