5863 search results - page 1078 / 1173 » On Model-Checking of P Systems |
170
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
When human listeners utter Listener Responses (e.g. back-channels or acknowledgments) such as ‘yeah’ and ‘mmhmm’, interlocutors commonly continue to speak or resume their ...
163
click to vote
NAR
2011
14 years 6 months ago
2011
We present the relational database EDULISS (EDinburgh University Ligand Selection System), which stores structural, physicochemical and pharmacophoric properties of small molecule...
115
click to vote
ATAL
2011
Springer
14 years 3 months ago
2011
Springer
Recent work in communications and business modeling emphasizes a commitment-based view of interaction. By abstracting away from implementation-level details, commitments can poten...
142
click to vote
ATAL
2011
Springer
14 years 3 months ago
2011
Springer
We present a novel approach to interaction-oriented programming based on declaratively representing communication protocols. Our approach exhibits the following distinguishing fea...
153
click to vote
IACR
2011
14 years 3 months ago
2011
At PKC 2010 Smart and Vercauteren presented a variant of Gentry’s fully homomorphic public key encryption scheme and mentioned that the scheme could support SIMD style operations...