Sciweavers

265 search results - page 35 / 53
» On varieties of meet automata
Sort
View
ICPP
2002
IEEE
14 years 15 days ago
The Tracefile Testbed - A Community Repository for Identifying and Retrieving HPC Performance Data
HPC programmers utilize tracefiles, which record program behavior in great detail, as the basis for many performance analysis activities. The lack of generally accessible tracefil...
Ken Ferschweiler, Scott Harrah, Dylan Keon, Mariac...
RTSS
2002
IEEE
14 years 14 days ago
Maximizing the System Value while Satisfying Time and Energy Constraints
Typical real-time scheduling theory has addressed deadline and energy constraints as well as deadline and reward constraints simultaneously in the past. However, we believe that e...
Cosmin Rusu, Rami G. Melhem, Daniel Mossé
WIKIS
2009
ACM
14 years 6 days ago
Evaluating the trustworthiness of Wikipedia articles through quality and credibility
Wikipedia has become a very popular destination for Web surfers seeking knowledge about a wide variety of subjects. While it contains many helpful articles with accurate informati...
Sai T. Moturu, Huan Liu
GI
2001
Springer
14 years 1 days ago
DOL: An Interoperable Document Server
We describe the design and experiences gained with the database- and web-based document server DOL, which we developed at the University of Leipzig (http://dol.uni-leipzig.de). Th...
Sergey Melnik, Erhard Rahm, Dieter Sosna
ICCS
2001
Springer
14 years 3 hour ago
The Policy Machine for Security Policy Management
Abstract. Many different access control policies and models have been developed to suit a variety of goals; these include Role-Based Access Control, One-directional Information Flo...
Vincent C. Hu, Deborah A. Frincke, David F. Ferrai...