Sciweavers

1106 search results - page 138 / 222
» Software That Can Think and Do
Sort
View
B
2007
Springer
15 years 10 months ago
Security Policy Enforcement Through Refinement Process
Abstract. In the area of networks, a common method to enforce a security policy expressed in a high-level language is based on an ad-hoc and manual rewriting process [24]. We argue...
Nicolas Stouls, Marie-Laure Potet
COMPSAC
2004
IEEE
15 years 10 months ago
Efficient Partial Multiple Periodic Patterns Mining without Redundant Rules
Partial periodic patterns mining is a very interesting domain in data mining problem. In the previous studies, full and partial multiple periodic patterns mining problems are cons...
Wenpo Yang, Guanling Lee
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
LCR
2000
Springer
186views System Software» more  LCR 2000»
15 years 10 months ago
Adaptive Parallelism for OpenMP Task Parallel Programs
Abstract. We present a system that allows task parallel OpenMP programs to execute on a network of workstations (NOW) with a variable number of nodes. Such adaptivity, generally ca...
Alex Scherer, Thomas R. Gross, Willy Zwaenepoel
AVI
2010
15 years 7 months ago
A community based metaphor supporting EUD within communities
The paper proposes an approach to EUD focusing on communities: on the one hand, users are considered as a community of cooperating actors; on the other hand, applications and devi...
Marco P. Locatelli, Carla Simone