3680 search results - page 169 / 736 » cases 2010 |
172
click to vote
EOR
2006
15 years 6 months ago
2006
We propose a fully sequential indifference-zone selection procedure that is specifically for use within an optimization-via-simulation algorithm when simulation is costly, and par...
177
click to vote
DSS
2007
15 years 6 months ago
2007
This paper describes a service-based P2P overlay network architecture to support a collaborative environment for solving complex business processes over the network. In the propos...
165
click to vote
ENDM
2007
15 years 6 months ago
2007
Fix a family T of 3-connected graphs, and let G be the class of graphs whose 3connected components are the graphs in T . We present a general framework for analyzing such graph cl...
159
click to vote
ENTCS
2007
15 years 6 months ago
2007
Markovian testing and trace equivalences have been recently proposed as reasonable alternatives to Markovian bisimilarity, as both of them induce at the Markov chain level an aggr...
147
click to vote
ENTCS
2007
15 years 6 months ago
2007
’s abstraction theorem [21], often referred to as the parametricity theorem, can be used to derive properties about functional programs solely from their types. Unfortunately, i...