6031 search results - page 795 / 1207 » Communicating Transaction Processes |
146
Voted
MSE
2005
IEEE
16 years 9 days ago
2005
IEEE
In this paper we present an FPGA-based daughtercard designed for TI’s C6000 family of DSP Starter Kits (DSKs). The hardware, initially designed for a course project, provides a ...
156
click to vote
TPHOL
2005
IEEE
16 years 9 days ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
177
Voted
WMTE
2005
IEEE
16 years 8 days ago
2005
IEEE
In this paper we report early findings from a sample of Australian participants using Nokia’s Lifeblog software on mobile phones to record aspects of living and learning in both...
188
click to vote
ACMACE
2005
ACM
16 years 8 days ago
2005
ACM
We present a table tennis game concept, implemented for Symbian OS/Series 60 mobile phones, using the phone's integrated camera as the main game controller. The game demonstr...
274
click to vote
APLAS
2005
ACM
16 years 8 days ago
2005
ACM
Message Sequence Charts (MSCs) are a graphical language for the description of scenarios in terms of message exchanges between communicating components in a distributed environment...