Sciweavers

12637 search results - page 2261 / 2528
» Security for Extensible Systems
Sort
View
SAC
2006
ACM
15 years 6 months ago
Transformation of yEPC business process models to YAWL
Model transformations are frequently applied in business process modeling to bridge between languages on a different abstraction and formality. In this paper, we define a transfor...
Jan Mendling, Michael Moser, Gustaf Neumann
SIGMETRICS
2008
ACM
159views Hardware» more  SIGMETRICS 2008»
15 years 6 months ago
Weighted fair sharing for dynamic virtual clusters
In a shared server infrastructure, a scheduler controls how quantities of resources are shared over time in a fair manner across multiple, competing consumers. It should support w...
Laura E. Grit, Jeffrey S. Chase
ANOR
2005
93views more  ANOR 2005»
15 years 6 months ago
Looking Ahead with the Pilot Method
The pilot method as a meta-heuristic is a tempered greedy method aimed at obtaining better solutions while avoiding the greedy trap by looking ahead for each possible choice. Repea...
Stefan Voß, Andreas Fink, Cees Duin
ASE
2005
102views more  ASE 2005»
15 years 6 months ago
Modular Verification of Open Features Using Three-Valued Model Checking
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
Harry C. Li, Shriram Krishnamurthi, Kathi Fisler
BC
2005
80views more  BC 2005»
15 years 6 months ago
Dynamics of multifrequency coordination using parametric driving: theory and experiment
Abstract The coupling of movement behavior and environmental signals has been extensively studied within the domain of rhythmic coordination tasks. However, in contrast to most tra...
Collins G. Assisi, Viktor K. Jirsa, J. A. Scott Ke...
« Prev « First page 2261 / 2528 Last » Next »