793 search results - page 108 / 159 » Input Modeling Tools for Complex Problems |
100
click to vote
FSTTCS
2009
Springer
15 years 6 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...
MFCS
2010
Springer
14 years 10 months ago
2010
Springer
We introduce Transformation Games (TGs), a form of coalitional game in which players are endowed with sets of initial resources, and have capabilities allowing them to derive certa...
106
click to vote
ICWS
2009
IEEE
14 years 9 months ago
2009
IEEE
We present a Semantic Optimized Service Discovery (SemOSD) approach capable of handling Web service search requests on a fine-grained level of detail where we augment semantic ser...
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
Advances in high-performance computing have led to the broad use of computational studies in everyday engineering and scientific applications. A single study may require thousand...
110
click to vote
COCO
2008
Springer
15 years 1 months ago
2008
Springer
Discrepancy is a versatile bound in communication complexity which can be used to show lower bounds in the distributional, randomized, quantum, and even unbounded error models of ...