Sciweavers



views
56 years 5 months ago
REFSQ
2014
Springer
11 years 28 days ago
Is Requirements Engineering Useless in Game Development?
Jussi Kasurinen, Andrey Maglyas, Kari Smolander
RAPIDO
2014
10views more  RAPIDO 2014»
11 years 28 days ago
Using chip multithreading to speed up scenario-based design space exploration: a case study
Early design space exploration (DSE) is a key element of systemlevel design of complex embedded systems, helping designers to make design decisions during the early design phases....
Peter van Stralen, Andy D. Pimentel
PLPV
2014
ACM
11 years 28 days ago
Programming languages for high-assurance autonomous vehicles: extended abstract
Lee Pike, Patrick C. Hickey, James Bielman, Trevor...
PKC
2014
Springer
70views Cryptology» more  PKC 2014»
11 years 28 days ago
Simple Chosen-Ciphertext Security from Low-Noise LPN
Recently, D¨ottling et al. (ASIACRYPT 2012) proposed the first chosen-ciphertext (IND-CCA) secure public-key encryption scheme from the learning parity with noise (LPN) assumptio...
Eike Kiltz, Daniel Masny, Krzysztof Pietrzak
NOSSDAV
2014
Springer
11 years 28 days ago
Fake View Analytics in Online Video Services
Online video-on-demand(VoD) services invariably maintain a view count for each video they serve, and it has become an important currency for various stakeholders, from viewers, to...
Liang Chen, Yipeng Zhou, Dah Ming Chiu
MMSYS
2014
51views Multimedia» more  MMSYS 2014»
11 years 28 days ago
Measuring DASH streaming performance from the end users perspective using neubot
The popularity of DASH streaming is rapidly increasing and a number of commercial streaming services are adopting this new standard. While the benefits of building streaming serv...
Simone Basso, Antonio Servetti, Enrico Masala, Jua...
IMR
2014
Springer
11 years 28 days ago
Robust One-to-One Sweeping with Harmonic S-T Mappings and Cages
Abstract. A sweeping algorithm can generate hexahedral meshes by sweeping an all-quad mesh on the source surface to the target surface. For one-toone sweeping, the most difficult t...
Shengyong Cai, Timothy J. Tautges
ICCASA
2014
25views more  ICCASA 2014»
11 years 28 days ago
A Temporal Description Logic for Resource-Bounded Rule-Based Context-Aware Agents
Abstract. We propose a logical framework for modelling and verifying contextaware multi-agent systems. We extend CTL∗ with belief and communication modalities, and the resulting ...
Abdur Rakib, Hafiz Mahfooz Ul Haque, Rokan Uddin F...
HRI
2014
ACM
11 years 28 days ago
Robot responsiveness to human disclosure affects social impression and appeal
In human relationships, responsiveness—behaving in a sensitive manner that is supportive of another person’s needs— plays a major role in any interaction that involves effe...
Guy Hoffman, Gurit E. Birnbaum, Keinan Vanunu, Omr...