929 search results - page 56 / 186 » A Modeling Approach for Product Classification Systems |
VMCAI
2010
Springer
15 years 7 months ago
2010
Springer
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition gra...
129
click to vote
JTAER
2010
14 years 4 months ago
2010
With the emergence of the e-Catalog, there has been an increasingly wide application of commodities query in distributed environment in the field of e-commerce. But e-Catalog is o...
WSC
2007
15 years 5 days ago
2007
Recent reports have established the need for change in the US health system. Building projects can play an important role in enabling change to support organizational objectives. ...
PTS
2007
14 years 11 months ago
2007
In a component oriented approach, components are designed, developed and validated in order to be widely used. However one cannot always foresee which specific uses will be made o...
WSC
2007
15 years 5 days ago
2007
In this paper, we compare two scheduling procedures designed to minimize setup costs for a make-to-order electronics manufacturing. While setup costs are important, quick response...