21984 search results - page 74 / 4397 » C |
139
click to vote
APSCC
2010
IEEE
14 years 6 months ago
2010
IEEE
Nowadays applications are increasingly developed based on remote Web services and service composition has become a powerful novel development paradigm. Due to the fact that such a...
110
click to vote
IEEEHPCS
2010
14 years 6 months ago
2010
Network Multimedia data also need to be encrypted to protect private content and access control. Considering performance constraints and embedded system issues, many hardware solu...
147
click to vote
IFIP
2010
Springer
14 years 6 months ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
111
click to vote
VLSI
2010
Springer
14 years 6 months ago
2010
Springer
Future systems will have to support multiple and concurrent dynamic compute-intensive applications, while respecting real-time and energy consumption constraints. To overcome these...
109
click to vote
CORR
2011
Springer
14 years 3 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...