Sciweavers

627 search results - page 107 / 126
» Modular Concurrency - A New Approach to Manageable Software
Sort
View
IEEEARES
2008
IEEE
15 years 4 months ago
Static Validation of Licence Conformance Policies
Policy conformance is a security property gaining importance due to commercial interest like Digital Rights Management. It is well known that static analysis can be used to valida...
René Rydhof Hansen, Flemming Nielson, Hanne...
JUCS
2008
142views more  JUCS 2008»
14 years 9 months ago
Analyzing Wiki-based Networks to Improve Knowledge Processes in Organizations
: Increasingly wikis are used to support existing corporate knowledge exchange processes. They are an appropriate software solution to support knowledge processes. However, it is n...
Claudia Müller, Benedikt Meuthrath, Anne Baum...
SIGGRAPH
1998
ACM
15 years 2 months ago
Non-distorted Texture Mapping for Sheared Triangulated Meshes
This article introduces new techniques for non-distorted texture mapping on complex triangulated meshes. Texture coordinates are assigned to the vertices of the triangulation by u...
Bruno Lévy, Jean-Laurent Mallet
CHI
2002
ACM
15 years 10 months ago
NetRaker suite: a demonstration
This demonstration will show the application of a unique approach to collecting and analyzing usability data from the users of Web sites and software applications. The NetRaker Su...
Doug van Duyne, James A. Landay, Matthew Tarpy
MICRO
2009
IEEE
132views Hardware» more  MICRO 2009»
15 years 4 months ago
EazyHTM: eager-lazy hardware transactional memory
Transactional Memory aims to provide a programming model that makes parallel programming easier. Hardware implementations of transactional memory (HTM) suffer from fewer overhead...
Sasa Tomic, Cristian Perfumo, Chinmay Eishan Kulka...