3522 search results - page 512 / 705 » Modeling and Aspect Weaving |
CSFW
2005
IEEE
14 years 2 months ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
As packet-switching interconnection networks replace buses and dedicated wires to become the standard on-chip interconnection fabric, reducing their power consumption has been ide...
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
Every day, businesses are threatened by crises that could have been prevented or their impact lessened if only knowledge of causal and influencing factors were known and better ma...
ICPADS
2005
IEEE
14 years 1 months ago
2005
IEEE
The performance of an e-commerce application can be measured according to technical metrics but also following business indicators. The revenue obtained by a commercial web applic...
ISCAS
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract — Mapping applications onto different networks-onchip (NoCs) topologies is done by mapping processing cores on local ports of routers considering requirements like laten...