Sciweavers

6031 search results - page 1106 / 1207
» Communicating Transaction Processes
Sort
View
CHB
2010
130views more  CHB 2010»
15 years 1 months ago
Building an interaction design pattern language: A case study
Interaction design patterns are a proven way to communicate good design. However, current pattern collections are not sufficiently powerful and generative to be used as a guide fo...
Stefan L. Pauwels, Christian Hübscher, Javier...
ACNS
2011
Springer
237views Cryptology» more  ACNS 2011»
14 years 10 months ago
Private Discovery of Common Social Contacts
The increasing use of computing devices for social interactions propels the proliferation of online social applications, yet, it prompts a number of privacy concerns. One common p...
Emiliano De Cristofaro, Mark Manulis, Bertram Poet...
FASE
2011
Springer
14 years 10 months ago
Automated Learning of Probabilistic Assumptions for Compositional Reasoning
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
Lu Feng, Marta Z. Kwiatkowska, David Parker
BIRTHDAY
2011
Springer
14 years 6 months ago
Multisimulations: Towards Next Generation Integrated Simulation Environments
In this paper, we consider the challenge of designing a reflective middleware to integrate multiple autonomous simulation models into an integrated simulation environment (multiasi...
Leila Jalali, Sharad Mehrotra, Nalini Venkatasubra...
ICDCS
2011
IEEE
14 years 6 months ago
LR-Seluge: Loss-Resilient and Secure Code Dissemination in Wireless Sensor Networks
—Code dissemination in wireless sensor networks refers to the process of disseminating a new code image via wireless links to all sensor nodes after they are deployed. It is desi...
Rui Zhang 0007, Yanchao Zhang
« Prev « First page 1106 / 1207 Last » Next »