Sciweavers

1975 search results - page 286 / 395
» Property analysis and design understanding
Sort
View
WWW
2004
ACM
16 years 7 months ago
SEMPL: a semantic portal
Semantic Web technology is intended for the retrieval, collection, and analysis of meaningful data with significant automation afforded by machine understandability of data [1]. A...
Matthew Perry, E. Stiles
ESORICS
2009
Springer
16 years 7 months ago
A Privacy Preservation Model for Facebook-Style Social Network Systems
Abstract. Recent years have seen unprecedented growth in the popularity of social network systems, with Facebook being an archetypical example. The access control paradigm behind t...
Philip W. L. Fong, Mohd M. Anwar, Zhen Zhao
HPCA
2006
IEEE
16 years 6 months ago
The common case transactional behavior of multithreaded programs
Transactional memory (TM) provides an easy-to-use and high-performance parallel programming model for the upcoming chip-multiprocessor systems. Several researchers have proposed a...
JaeWoong Chung, Hassan Chafi, Chi Cao Minh, Austen...
CHI
2004
ACM
16 years 6 months ago
A study of digital ink in lecture presentation
Digital inking systems are becoming increasingly popular across a variety of domains. In particular, many systems now allow instructors to write on digital surfaces in the classro...
Richard J. Anderson, Crystal Hoyer, Steven A. Wolf...
ICSE
2004
IEEE-ACM
16 years 6 months ago
A Framework for Ensuring and Improving Dependability in Highly Distributed Systems
A distributed software system's deployment architecture can have a significant impact on the system's dependability. Dependability is a function of various system paramet...
Sam Malek, Nels Beckman, Marija Mikic-Rakic, Nenad...