1757 search results - page 200 / 352 » Integrating and Extending JCSP |
172
click to vote
AIIA
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper presents and motivates an extended ontology conceptual model which represents explicitly semantic information about concepts. This model results from explicitl...
223
click to vote
ER
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...
215
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
Novel methodology and algorithms to seamlessly integrate logic synthesis and physical placement through a transformational approach are presented. Contrary to most placement algor...
189
click to vote
ICCD
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
154
Voted
NOMS
2000
IEEE
15 years 11 months ago
2000
IEEE
Global Number Portability (GNP) is becoming a key service to increase competition and profit of a service provider for the ever-growing telephone marketplace. In this paper, we pr...