3706 search results - page 110 / 742 » KtSeqC: System Description |
179
click to vote
UML
2000
Springer
15 years 10 months ago
2000
Springer
Complex software systems require expressive notations for representing their software architectures. Two competing paths have emerged. One is to use a specialized notation for arc...
149
click to vote
EURODAC
1995
IEEE
15 years 10 months ago
1995
IEEE
We present a system for the formal veri cation of processors which combines a computer algebra simpli cation tool with an object-oriented approach. It has been successfully used f...
199
click to vote
AAAI
1996
15 years 7 months ago
1996
We introduce a predictive concept recognition methodology for description logics based on a new closed terminology assumption. During knowledge engineering, our system adopts the ...
172
click to vote
FDL
2005
IEEE
16 years 2 days ago
2005
IEEE
In today’s flows, there is still a gap between system level description and hardware implementation, especially for analog/RF building blocks. SystemC-AMS or co-simulations have...
193
click to vote
CIKM
2004
Springer
15 years 12 months ago
2004
Springer
Modern corporations operate in an extremely complex environment and strongly depend on all kinds of information resources across the enterprise. Unfortunately, with the growth of ...