2339 search results - page 421 / 468 » Models and Tools for Mulan Applications |
166
click to vote
DRM
2006
Springer
15 years 10 months ago
2006
Springer
Through legislation and technology the film industry has been seeking to fully control usage of the bits it creates; their model is "restrictive" digital-rights manageme...
167
click to vote
ESWS
2006
Springer
15 years 9 months ago
2006
Springer
A key argument for modeling knowledge in ontologies is the easy re-use and re-engineering of the knowledge. However, beside consistency checking, current ontology engineering tools...
181
click to vote
AMAI
2000
Springer
15 years 9 months ago
2000
Springer
This paper proposes new algorithms for the Binate Covering Problem (BCP), a well-known restriction of Boolean Optimization. Binate Covering finds application in many areas of Comp...
155
click to vote
ASPDAC
1995
ACM
15 years 9 months ago
1995
ACM
One of the interesting problems in hardware-software co-design is that of debugging embedded software in conjunction with hardware. Currently, most software designers wait until a...
191
click to vote
ICTAI
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper tackles the problem of analyzing the correctness and performance of a computer network protocol. Given the complexity of the problem, no currently used technique is abl...