Sciweavers

2560 search results - page 197 / 512
» Contributions to zero-sum problems
Sort
View
ENTCS
2006
162views more  ENTCS 2006»
15 years 23 days ago
Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans
The current paper makes two contributions for the graph pattern matching problem of model transformation tools. First, model-sensitive search plan generation is proposed for patte...
Gergely Varró, Katalin Friedl, Dánie...
91
Voted
FUIN
2006
88views more  FUIN 2006»
15 years 23 days ago
Calculi of Approximation Spaces
This paper considers the problem of how to establish calculi of approximation spaces. Approximation spaces considered in the context of rough sets were introduced by Zdzislaw Pawla...
Andrzej Skowron, Jaroslaw Stepaniuk, James F. Pete...
111
Voted
JCP
2008
133views more  JCP 2008»
15 years 22 days ago
YAVISTA: A Graphical Tool for Comparing 802.11 Simulators
The difficulty to compare network simulators is a major obstacle to the broader adoption of these tools. This problem particularly affects 802.11 simulators because the 802.11 prot...
Ryad Ben-El-Kezadri, Farouk Kamoun
122
Voted
ENTCS
2007
199views more  ENTCS 2007»
15 years 22 days ago
Heuristics for Safety and Security Constraints
The flow logic approach to static analysis amounts to specifying the admissibility of solutions to analysis problems; when specified using formulae in stratified alternation-fr...
Flemming Nielson, Hanne Riis Nielson
JSA
2006
88views more  JSA 2006»
15 years 22 days ago
Scheduling tasks sharing files on heterogeneous master-slave platforms
This paper is devoted to scheduling a large collection of independent tasks onto heterogeneous clusters. The tasks depend upon (input) files which initially reside on a master pro...
Arnaud Giersch, Yves Robert, Frédéri...