73 search results - page 12 / 15 » Behavioral Synthesis Techniques for Intellectual Property Pr... |
89
Voted
SIGSOFT
2006
ACM
15 years 10 months ago
2006
ACM
Models are increasingly recognized as an effective means for elaborating requirements and exploring designs. For complex systems, model building is far from an easy task. Efforts ...
IH
1999
Springer
15 years 1 months ago
1999
Springer
Abstract. One way to protect a digital product is to embed an author's signature into the object in the form of minute errors. However, this technique cannot be directly appli...
DATE
2010
IEEE
15 years 16 hour ago
2010
IEEE
An increasing concern amongst designers and integrators of military and defense-related systems is the underlying security of the individual microprocessor components that make up ...
77
Voted
LCTRTS
2010
Springer
15 years 4 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
PODS
2003
ACM
15 years 9 months ago
2003
ACM
The emerging paradigm of electronic services promises to bring to distributed computation and services the flexibility that the web has brought to the sharing of documents. An und...