2171 search results - page 251 / 435 » A Generic Process Algebra |
115
click to vote
CIKM
2001
Springer
15 years 8 months ago
2001
Springer
New applications from the areas of analytical data processing and data integration require powerful features to condense and reconcile available data. As outlined in [1], the gene...
133
Voted
DAC
2000
ACM
15 years 8 months ago
2000
ACM
In many modern designs, timing is either a key optimization goal and/or a mandatory constraint. We propose the first intellectual property protection technique using watermarking ...
138
click to vote
BPM
2007
Springer
15 years 8 months ago
2007
Springer
The collaborative business process can be unreliable when business partners collaborate in a peer-to-peer fashion without central control. Therefore, an important issue that needs ...
136
click to vote
DAC
2007
ACM
15 years 8 months ago
2007
ACM
Using FPGAs, a designer can separate the design process from the manufacturing flow. Therefore, the owner of a sensitive design need not expose the design to possible theft and ta...
130
click to vote
FDL
2007
IEEE
15 years 8 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. The informal specification document from which the various collaterals are ...