10159 search results - page 1712 / 2032 » System Design Validation Using Formal Models |
199
click to vote
SP
2010
IEEE
15 years 10 months ago
2010
IEEE
—EMV is the dominant protocol used for smart card payments worldwide, with over 730 million cards in circulation. Known to bank customers as “Chip and PIN”, it is used in Eur...
178
click to vote
CAISE
2004
Springer
16 years 4 days ago
2004
Springer
Automation and integration of business processes are at the heart of contemporary enterprise systems. In the pursuit of this goal, process automation technology is employed at vary...
179
click to vote
CCR
2002
15 years 6 months ago
2002
We present a simple, efficient, and secure multicast protocol with copyright protection in an open and insecure network environment. There is a wide variety of multimedia applicat...
204
click to vote
INFOCOM
2005
IEEE
16 years 10 days ago
2005
IEEE
— Current computing systems depend on adaptation mechanisms to ensure that they remain in quiescent operating regions. These regions are often defined using efficiency, fairnes...
166
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Type III secretion system (T3SS) is a specialized protein delivery system in gramnegative bacteria that injects proteins (called effectors) directly into the eukaryoti...