1632 search results - page 180 / 327 » On special numberings of hypergraphs |
145
click to vote
CC
2007
Springer
16 years 20 days ago
2007
Springer
Optimizing programs for modern multiprocessor or vector platforms is a major important challenge for compilers today. In this work, we focus on one challenging aspect: the SIMD ALI...
154
click to vote
CCS
2007
ACM
16 years 20 days ago
2007
ACM
We propose BeamAuth, a two-factor web authentication technique where the second factor is a specially crafted bookmark. BeamAuth presents two interesting features: (1) only server...
191
click to vote
EMSOFT
2007
Springer
16 years 20 days ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
204
click to vote
EPEW
2007
Springer
16 years 20 days ago
2007
Springer
Message-oriented middleware (MOM) is at the core of a vast number of financial services and telco applications, and is gaining increasing traction in other industries, such as man...
168
click to vote
ER
2007
Springer
16 years 20 days ago
2007
Springer
This paper explores the opportunities and challenges for Conceptual Modeling in the domain of Virtual Reality (VR). VR applications are becoming more feasible due to better and fa...