Sciweavers

7064 search results - page 1090 / 1413
» From States to Histories
Sort
View
CC
2006
Springer
108views System Software» more  CC 2006»
15 years 10 months ago
Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers
This paper presents a new worklist algorithm that significantly speeds up a large class of flow-sensitive data-flow analyses, including typestate error checking and pointer analysi...
Teck Bok Tok, Samuel Z. Guyer, Calvin Lin
DSN
2004
IEEE
15 years 10 months ago
Characterizing the Effects of Transient Faults on a High-Performance Processor Pipeline
The progression of implementation technologies into the sub-100 nanometer lithographies renew the importance of understanding and protecting against single-event upsets in digital...
Nicholas J. Wang, Justin Quek, Todd M. Rafacz, San...
EEE
2004
IEEE
15 years 10 months ago
Spreading Activation Models for Trust Propagation
Semantic Web endeavors have mainly focused on issues pertaining to knowledge representation and ontology design. However, besides understanding information metadata stated by subj...
Cai-Nicolas Ziegler, Georg Lausen
CSCW
2006
ACM
15 years 10 months ago
Strangers and friends: collaborative play in world of warcraft
We analyze collaborative play in an online video game, World of Warcraft, the most popular personal computer game in the United States, with significant markets in Asia and Europe...
Bonnie A. Nardi, Justin Harris
DALT
2006
Springer
15 years 10 months ago
A Foundational Ontology of Organizations and Roles
Abstract. In this paper we propose a foundational ontology of the social concepts of organization and role which structure institutions. We identify which axioms model social conce...
Guido Boella, Leendert W. N. van der Torre
« Prev « First page 1090 / 1413 Last » Next »