Sciweavers

60 search results - page 4 / 12
» REST in Practice
Sort
View
SPLC
2008
13 years 10 months ago
Enabling Verifiable Conformance for Product Lines
NASA is, with the rest of industry, turning to product-line engineering to reduce costs and improve quality by effectively managing reuse. Experience in industry has shown that it...
Robyn R. Lutz
ENTCS
2007
100views more  ENTCS 2007»
13 years 8 months ago
Lightweight Static Capabilities
We describe a modular programming style that harnesses modern type systems to verify safety conditions in practical systems. This style has three ingredients: (i) A compact kernel...
Oleg Kiselyov, Chung-chieh Shan
PERCOM
2007
ACM
14 years 8 months ago
SHAD: A Human-Centered Security Architecture for the Plan B Operating System
This paper describes SHAD, a novel architecture for security in pervasive computing environments, and a prototype implementation. SHAD is a Peer-to-Peer and humancentered security...
Enrique Soriano, Francisco J. Ballesteros, Gorka G...
HICSS
2006
IEEE
188views Biometrics» more  HICSS 2006»
14 years 2 months ago
Scalable Online Discussions as Listening Technology
This paper presents a novel online discussion environment that efficiently supports listening processes inspired by more collaborative management practices. This participative man...
Baldo Faieta, Bernardo A. Huberman, Paul Verhaeghe
CC
2001
Springer
14 years 6 days ago
Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries
Large programs are typically built from separate modules. Traditional whole-program analysis cannot be used in the context of such modular development. In this paper we consider an...
Atanas Rountev, Barbara G. Ryder