Sciweavers

4469 search results - page 791 / 894
» A Language for Role Specifications
Sort
View
CAISE
2006
Springer
15 years 9 months ago
Semantic Annotation Framework to Manage Semantic Heterogeneity of Process Models
Effective discovery and sharing of process models within and/or across enterprises are important in process model management. A semantic annotation approach has been applied for sp...
Yun Lin, Darijus Strasunskas, Sari Hakkarainen, Jo...
DSD
2004
IEEE
129views Hardware» more  DSD 2004»
15 years 9 months ago
Functional Validation of Programmable Architectures
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...
Prabhat Mishra, Nikil D. Dutt
CCS
2006
ACM
15 years 9 months ago
Puppetnets: misusing web browsers as a distributed attack infrastructure
Most of the recent work on Web security focuses on preventing attacks that directly harm the browser's host machine and user. In this paper we attempt to quantify the threat ...
V. T. Lam, Spyros Antonatos, Periklis Akritidis, K...
CHES
2006
Springer
205views Cryptology» more  CHES 2006»
15 years 9 months ago
Automated Design of Cryptographic Devices Resistant to Multiple Side-Channel Attacks
Balanced dynamic dual-rail gates and asynchronous circuits have been shown, if implemented correctly, to have natural and efficient resistance to side-channel attacks. Despite thei...
Konrad J. Kulikowski, Alexander B. Smirnov, Alexan...
DEXA
2006
Springer
152views Database» more  DEXA 2006»
15 years 9 months ago
Concurrency Management in Transactional Web Services Coordination
The Business Process Execution Language BPEL4WS has emerged to introduce process dimension in Web Services coordination. At the same time, a lot of needs related to business proces...
Adnene Guabtni, François Charoy, Claude God...