Sciweavers

7918 search results - page 1201 / 1584
» Model Composition Directives
Sort
View
DIGRA
2005
Springer
16 years 1 months ago
A Realistic Reaction System for Modern Video Games
The substantial growth of the video game industry has fueled a search for new technologies and methodologies for providing rich and rewarding experiences for players of modern vid...
Michael Katchabaw, Stephen Danton, Leif Gruenwoldt
231
Voted
ESOP
2005
Springer
16 years 1 months ago
Analysis of an Electronic Voting Protocol in the Applied Pi Calculus
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...
Steve Kremer, Mark Ryan
FASE
2005
Springer
16 years 1 months ago
Analyzing Web Service Based Business Processes
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
Axel Martens
HIPEAC
2005
Springer
16 years 1 months ago
Power Aware External Bus Arbitration for System-on-a-Chip Embedded Systems
Abstract. Power efficiency has become a key design trade-off in embedded system designs. For system-on-a-chip embedded systems, an external bus interconnects embedded processor co...
Ke Ning, David R. Kaeli
ICDCIT
2005
Springer
16 years 1 months ago
Off-Line Micro-payment System for Content Sharing in P2P Networks
— Micro-payment systems have the potential to provide non-intrusive, high-volume and low-cost pay-asyou-use services for a wide variety of web-based applications. We proposed a n...
Xiaoling Dai, John C. Grundy
« Prev « First page 1201 / 1584 Last » Next »