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...
100
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...
183
Voted
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...
181
click to vote
BIOSIG
2013
12 years 1 months ago
2013
: The regulations of the European Union (EU) Council in 2004 are the basis of the deployment of electronic passports within the EU. Since then EU member states adopt the format and...