16616 search results - page 208 / 3324 » Extending Extended Vacuity |
165
click to vote
ESWS
2006
Springer
15 years 9 months ago
2006
Springer
In this paper we present a MOF compliant metamodel and UML profile for the Semantic Web Rule Language (SWRL) that integrates with our previous work on a metamodel and UML profile f...
151
click to vote
AICCSA
2001
IEEE
15 years 9 months ago
2001
IEEE
A new parallelization of Euclid's greatest common divisor algorithm is proposed. It matches the best existing integer GCD algorithms since it can be achieved in parallel O(n/...
158
click to vote
ASPDAC
2001
ACM
15 years 9 months ago
2001
ACM
We propose a timing optimization technique for a complex finite state machine that consists of not only random logic but also data operators. In such a design, the timing critical...
180
click to vote
ASWEC
2001
IEEE
15 years 9 months ago
2001
IEEE
Mainstreaming and industrialising agent technologies requires suitable methodological and technological support for the various engineering activities associated with managing the...