6031 search results - page 832 / 1207 » Communicating Transaction Processes |
180
click to vote
TCS
2010
15 years 5 months ago
2010
We present some decidability and undecidability results for subsets of the BlenX Language, a process-calculi-based programming language developed for modelling biological processe...
170
click to vote
TPDS
2010
15 years 5 months ago
2010
—Embedding small devices into everyday objects like toasters and coffee mugs creates a wireless network of objects. These embedded devices can contain a description of the underl...
180
click to vote
ASPDAC
2010
ACM
15 years 4 months ago
2010
ACM
Abstract-- Embedded software plays an increasingly important role in implementing modern embedded systems. Development of embedded software, and of Hardware-dependent Software in p...
191
click to vote
ICMI
2010
Springer
15 years 4 months ago
2010
Springer
We introduce vlogs as a type of rich human interaction which is multimodal in nature and suitable for new largescale behavioral data analysis. The automatic analysis of vlogs is u...
190
click to vote
IVA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In human relations engagement and continuous communication is promoted by the process of sharing experiences. This type of social behaviour plays an important role in the...