CAV
2013
Springer
12 years 1 months ago
2013
Springer
CASFE
2013
12 years 1 months ago
2013
Designing interactive systems for multiple contexts of use becomes a burden when several interaction scenarios, their characteristics and constraints, must be considered. Stakehol...
107
click to vote
CASES
2013
ACM
12 years 1 months ago
2013
ACM
Recently, the Bitcoin cryptocurrency has been an international sensation. This paper tells the story of Bitcoin hardware: how a group of early-adopters self-organized and finance...
CARDIS
2013
Springer
12 years 1 months ago
2013
Springer
Abstract. Currently, security checks on Java Card applets are performed by a static verification process before executing an applet. A verified and later unmodified applet is no...
CAMAD
2013
IEEE
12 years 1 months ago
2013
IEEE
This paper introduces a mutually beneficial inter play between network coding and scalable video source coding in order to propose an energy-efficient video streaming approach ac...
CAISE
2013
Springer
12 years 1 months ago
2013
Springer
Standardization efforts to simplify the management of cloud applications are being conducted in isolation. The objective of this paper is to investigate to which extend two promis...
CADE
2013
Springer
12 years 1 months ago
2013
Springer
Deductive program veri cation is making fast progress these days. One of the reasons is a tremendous improvement of theorem provers in the last two decades. This includes various k...
102
click to vote
BTW
2013
Springer
12 years 1 months ago
2013
Springer
With the wide-scale adoption of cloud computing and with the explosion in the number of distributed applications and end-user devices, we are witnessing insatiable desire to build...
BMSD
2013
12 years 1 months ago
2013
Business modeling methods most often model an organization’s value provision to its customers followed by the necessary activities and structure to deliver this value. These acti...
187
click to vote
BIRTE
2013
12 years 1 months ago
2013
The so-called smart grid is emerging in the energy domain as a solution to provide a stable, efficient and sustainable energy supply accommodating ever growing amounts of renewable...