15779 search results - page 2920 / 3156 » Change-oriented software engineering |
107
Voted
FSTTCS
2009
Springer
15 years 7 months ago
2009
Springer
ABSTRACT. We consider concurrent systems that can be modelled as 1-safe Petri nets communicating through a fixed set of buffers (modelled as unbounded places). We identify a param...
96
Voted
FSTTCS
2009
Springer
15 years 7 months ago
2009
Springer
We describe a simple iterative method for proving a variety of results in combinatorial optimization. It is inspired by Jain’s iterative rounding method (FOCS 1998) for designing...
105
Voted
FSTTCS
2009
Springer
15 years 7 months ago
2009
Springer
ABSTRACT. A non-local box is an abstract device into which Alice and Bob input bits x and y respectively and receive outputs a and b respectively, where a, b are uniformly distribu...
110
Voted
FSTTCS
2009
Springer
15 years 7 months ago
2009
Springer
In this paper, we initiate the study of designing approximation algorithms for FaultTolerant Group-Steiner (FTGS) problems. The motivation is to protect the well-studied group-Ste...
122
click to vote
GECCO
2009
Springer
15 years 7 months ago
2009
Springer
The concept of artificial evolution has been applied to numerous real world applications in different domains. In this paper, we use this concept in the domain of virology to ev...