1151 search results - page 152 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
164
click to vote
FPL
2006
Springer
15 years 8 months ago
2006
Springer
Emerging embedded System-on-Chip (SoC) platforms are increasingly becoming multiprocessor architectures. The advances in the FPGA chip technology make the implementation of such a...
172
click to vote
APSCC
2009
IEEE
15 years 11 months ago
2009
IEEE
SADI – Semantic Automated Discovery and Integration – is a set of standards-compliant Semantic Web Service design patterns that exploit the relatively straightforward interfac...
142
click to vote
WWW
2006
ACM
16 years 5 months ago
2006
ACM
This work addresses conceptual modeling and automatic code generation for Rich Internet Applications, a variant of Web-based systems bridging the gap between desktop and Web inter...
148
click to vote
VL
1994
IEEE
15 years 8 months ago
1994
IEEE
The notion of icons in visual environments is limited by perceiving icons as tacit entities that have meaning only to human beings and not to the machines that display them. This ...
175
click to vote
CSFW
2009
IEEE
15 years 11 months ago
2009
IEEE
One of the important challenges when designing and analyzing cryptographic protocols is the enforcement of security properties in the presence of compromised participants. This pa...