3218 search results - page 303 / 644 » Timed Extensions for SDL |
278
click to vote
MP
2006
15 years 6 months ago
2006
In this paper, we propose a new methodology for handling optimization problems with uncertain data. With the usual Robust Optimization paradigm, one looks for the decisions ensurin...
179
click to vote
AAMAS
2005
Springer
15 years 6 months ago
2005
Springer
Communication between agents needs to be flexible enough to encompass together a variety of different aspects such as, conformance to society protocols, private tactics of the indi...
188
click to vote
TC
2008
15 years 6 months ago
2008
As the scale of high-performance computing (HPC) continues to grow, failure resilience of parallel applications becomes crucial. In this paper, we present FT-Pro, an adaptive fault...
129
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: In bioinformatics and genomics, there are many applications designed to investigate the common properties for a set of genes. Often, these multi-gene analysis tools at...
150
click to vote
JCT
2007
15 years 6 months ago
2007
We enumerate lattice paths in the planar integer lattice consisting of positively directed unit vertical and horizontal steps with respect to a specific elliptic weight function. ...