Sciweavers

3168 search results - page 373 / 634
» Computing Event Dependencies in System Designs and Programs
Sort
View
ISORC
2000
IEEE
15 years 11 months ago
Hybrid Sequence Charts
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...
Radu Grosu, Ingolf Krüger, Thomas Stauner
IWPC
2005
IEEE
16 years 4 days ago
Concise and Consistent Naming
Approximately 70% of the source code of a software system consists of identifiers. Hence, the names chosen as identifiers are of paramount importance for the readability of comp...
Florian Deißenböck, Markus Pizka
PKC
2009
Springer
140views Cryptology» more  PKC 2009»
16 years 7 months ago
An Accumulator Based on Bilinear Maps and Efficient Revocation for Anonymous Credentials
Abstract. The success of electronic authentication systems, be it eID card systems or Internet authentication systems such as CardSpace, highly depends on the provided level of use...
Jan Camenisch, Markulf Kohlweiss, Claudio Soriente
EMSOFT
2010
Springer
15 years 4 months ago
A marketplace for cloud resources
Cloud computing is an emerging paradigm aimed to offer users pay-per-use computing resources, while leaving the burden of managing the computing infrastructure to the cloud provid...
Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, T...
CHI
2005
ACM
16 years 7 months ago
Vista: interactive coffee-corner display
In the contemporary information-saturated world, there is a need for an easier, faster, and more social way to keep office workers updated and better aware of surrounding activiti...
Marcin Wichary, Lucy T. Gunawan, Nele Van den Ende...