Sciweavers

2678 search results - page 209 / 536
» Operational Semantics of Transactions
Sort
View
187
Voted
FDL
2005
IEEE
16 years 19 days ago
Executable Specification of Novel Display Controllers
To address performance limitations and expand their applications range, emerging and mature display technologies rely on the design of novel display controllers. Under current mod...
David Antonio-Torres, Paul F. Newbury, Paul F. Lis...
180
Voted
EMSOFT
2005
Springer
16 years 17 days ago
Communication strategies for shared-bus embedded multiprocessors
Abstract— This paper explores the problem of efficiently ordering interprocessor communication operations in both statically and dynamically-scheduled multiprocessors for iterat...
Neal K. Bambha, Shuvra S. Bhattacharyya
197
Voted
EUC
2005
Springer
16 years 17 days ago
Ubiquitous Content Formulations for Real-Time Information Communications
Abstract. With rapid advancements in wireless devices, ubiquitous computing seems becoming a reality everyday. Active pervasive network infrastructure has been introduced to offer...
Ka Lun Eddie Law, Sunny So
162
Voted
EDOC
2003
IEEE
16 years 10 days ago
Compensation is Not Enough
– An important problem in designing infrastructure to support business-to-business integration (B2Bi) is how to cancel a long-running interaction (either because the user has cha...
Paul Greenfield, Alan Fekete, Julian Jang, Dean Ku...
200
Voted
WPES
2003
ACM
16 years 8 days ago
Hidden Credentials
Hidden Credentials are useful in situations where requests for service, credentials, access policies and resources are extremely sensitive. We show how transactions which depend o...
Jason E. Holt, Robert W. Bradshaw, Kent E. Seamons...