1833 search results - page 66 / 367 » Mechanized Verification with Sharing |
108
Voted
DAC
2007
ACM
15 years 4 months ago
2007
ACM
SoC based system developments commonly employ ESL design ogies and utilize multiple levels of abstract models to provide feasibility study models for architects and development pl...
117
Voted
BPM
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
89
Voted
ICPR
2004
IEEE
16 years 1 months ago
2004
IEEE
There is increasing interest in the development of reliable, rapid and non-intrusive security control systems. Among the many approaches, biometrics such as palmprints provide hig...
115
Voted
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
ACMSE
2004
ACM
15 years 6 months ago
2004
ACM
Most of today’s computers are connected to the Internet or at least to a local network, exposing system vulnerabilities to the potential attackers. One of the attackers’ goals...