Search Sciweavers | Sciweavers

796 search results - page 2 / 160

» Software Engineering for the Next Internet

171

Voted

AVI
2006

145views Software Engineering» more AVI 2006»

LCARS: the next generation programming context

15 years 8 months ago

Download hci.icts.sbg.ac.at

Andreas Heil, Iman Moradi, Torben Weis

claim paper

Read More »

156

Voted

VSTTE
2010
Springer

124views Software Engineering» more VSTTE 2010»

The L4.verified Project - Next Steps

15 years 5 months ago

Download www.cse.unsw.edu.au

Gerwin Klein

claim paper

Read More »

219

click to vote

ARCS
2004
Springer

214views Software Engineering» more ARCS 2004»

A Note on Certificate Path Verification in Next Generation Mobile Communications

15 years 11 months ago

Download private.sit.fraunhofer.de

Abstract. Certificate-based authentication of parties provides a powerful means for verifying claimed identities, since communicating partners do not have to exchange secrets in ad...

Matthias Enzmann, Elli Giessler, Michael Haisch, B...

claim paper

Read More »

157

Voted

ICSM
2006
IEEE

111views Software Engineering» more ICSM 2006»

Search Based Approaches to Component Selection and Prioritization for the Next Release Problem

16 years 1 months ago

Download www.dcs.kcl.ac.uk

Paul Baker, Mark Harman, Kathleen Steinhöfel,...

claim paper

Read More »

151

click to vote

CHI
2006
ACM

133views Human Computer Interaction» more CHI 2006»

The next step: from end-user programming to end-user software engineering

16 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers