Search Sciweavers | Sciweavers

21984 search results - page 521 / 4397

» C

170

click to vote

CONCUR
2005
Springer

105views Distributed And Parallel Com...» more CONCUR 2005»

A Ground-Complete Axiomatization of Finite State Processes in Process Algebra

15 years 9 months ago

Download alexandria.tue.nl

Jos C. M. Baeten, Mario Bravetti

claim paper

Read More »

165

click to vote

CONEXT
2007
ACM

114views Computer Networks» more CONEXT 2007»

SWARM: self-organization of community wireless mesh networks

15 years 9 months ago

Download conferences.sigcomm.org

Saumitra M. Das, Konstantina Papagiannaki, Suman B...

claim paper

Read More »

117

click to vote

ESORICS
2008
Springer

111views Security Privacy» more ESORICS 2008»

Exploring User Reactions to New Browser Cues for Extended Validation Certificates

15 years 9 months ago

Download www.ccsl.carleton.ca

Jennifer Sobey, Robert Biddle, Paul C. van Oorscho...

claim paper

Read More »

153

click to vote

EUC
2008
Springer

231views Applied Computing» more EUC 2008»

Property Verification for Generic Access Control Models

15 years 9 months ago

Download csrc.nist.gov

Vincent C. Hu, D. Richard Kuhn, Tao Xie

claim paper

Read More »

147

click to vote

ICEIS
2007
IEEE

107views Information Technology» more ICEIS 2007»

EML: A Tree Overlay-Based Visual Language for Business Process Modelling

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers