Sciweavers

116 search results - page 4 / 24
» concurrency 2011
Sort
View
TIST
2011
136views more  TIST 2011»
13 years 8 days ago
Probabilistic models for concurrent chatting activity recognition
Recognition of chatting activities in social interactions is useful for constructing human social networks. However, the existence of multiple people involved in multiple dialogue...
Jane Yung-jen Hsu, Chia-chun Lian, Wan-rong Jih
CORR
2011
Springer
176views Education» more  CORR 2011»
13 years 10 days ago
Quantitative Synthesis for Concurrent Programs
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...
Pavol Cerný, Krishnendu Chatterjee, Thomas ...
POPL
2011
ACM
12 years 8 months ago
Mathematizing C++ concurrency
Shared-memory concurrency in C and C++ is pervasive in systems programming, but has long been poorly defined. This motivated an ongoing shared effort by the standards committees ...
Mark Batty, Scott Owens, Susmit Sarkar, Peter Sewe...
PODC
2011
ACM
12 years 8 months ago
From bounded to unbounded concurrency objects and back
We consider the power of objects in the unbounded concurrency shared memory model, where there is an infinite set of processes and the number of processes active concurrently may...
Yehuda Afek, Adam Morrison, Guy Wertheim
DKE
2011
230views Education» more  DKE 2011»
13 years 9 days ago
Supporting concurrent ontology development: Framework, algorithms and tool
We propose a novel approach to facilitate the concurrent development of ontologies by different groups of experts. Our approach adapts Concurrent Versioning, a successful paradigm...
Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau,...