The rapidly increasing number of mobile devices, voluminous data, and higher data rate are pushing to rethink the current generation of the cellular mobile communication. The next...
This article presents an experimental study examining the short term and long term effects of Global Conflicts on attitude change towards the IsraeliPalestinian conflict. Global C...
Contextual information about users is increasingly shared on mobile social networks. Examples of such information include users’ locations, events, activities, and the co-presen...
Lane-level positioning is required for several location-based services such as advanced driver assistance systems, driverless cars, predicting driver’s intent, among many other ...
Constructing parsers based on declarative specification of operator precedence is a very old research topic, and there are various existing approaches. However, these approaches ...
Generic programming libraries such as Scrap Your Boilerplate eliminate the need to write repetitive code, but typically introduce significant performance overheads. This leaves p...
Staging is a program generation paradigm with a clean, wellinvestigated semantics which statically ensures that the generated code is always well-typed and well-scoped. Staging is...
This paper relates 2-level λ-calculus and staged λ-calculus (restricted to 2 stages) to obtain monovariant binding-time analysis for λ-calculus that produces the output in the ...