OOPSLA
2010
Springer
13 years 10 months ago
2010
Springer
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...
OOPSLA
2010
Springer
13 years 10 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
OOPSLA
2010
Springer
13 years 10 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
OOPSLA
2010
Springer
13 years 10 months ago
2010
Springer
OOPSLA
2010
Springer
13 years 10 months ago
2010
Springer
IWSEC
2010
Springer
13 years 10 months ago
2010
Springer
We use two parametrizations of points on elliptic curves in generalized Edwards form x2 + y2 = c2 (1 + dx2 y2 ) that omit the xcoordinate. The first parametrization leads to a diff...
IWSEC
2010
Springer
13 years 10 months ago
2010
Springer
This paper presents efficient secure auction protocols for first price auction and second price auction. Previous auction protocols are based on a generally secure multi-party prot...
ISI
2010
Springer
13 years 10 months ago
2010
Springer
Social Media provide an exciting and novel view into social phenomena. The vast amounts of data that can be gathered from the Internet coupled with massively parallel supercomputer...
IEEEARES
2010
IEEE
13 years 10 months ago
2010
IEEE
Online auctions of governmental bonds and CO2 certificates are challenged by high availability requirements in face of high peak loads around the auction deadline. Traditionally, t...
GIL
2010
13 years 10 months ago
2010
: Thirty years ago, 1980, the scientific society "Gesellschaft f