1307 search results - page 60 / 262 » Follow the intellectual property |
121
click to vote
EUROMICRO
2007
IEEE
15 years 5 months ago
2007
IEEE
In component-based hardware/software co-verification, properties of an embedded system are established from properties of its hardware and software components. A major challenge i...
IJCAI
1989
15 years 2 months ago
1989
Usually, semantics of inheritance networks is specified indirectly through a translation into one of the standard logical formalisms. Since such translation involves an algorithmi...
100
click to vote
LPAR
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We distill Penrose’s argument against the “artificial intelligence premiss”, and analyze its logical alternatives. We then clarify the different positions one can...
108
click to vote
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—Reliable and verifiable hardware, software and content usage metering (HSCM) are of primary importance for wide segments of e-commerce including intellectual property a...
109
click to vote
WSS
2001
15 years 2 months ago
2001
We investigate a new property of computing systems called weak stabilization. Although this property is strictly weaker than the well-known property of stabilization, weak stabiliz...