7296 search results - page 407 / 1460 » informs 2010 |
220
click to vote
ENTCS
2007
15 years 7 months ago
2007
Documentation of knowledge about biological pathways is often informal and vague, making it difficult to efficiently synthesize the work of others into a holistic understanding of...
172
click to vote
EOR
2007
15 years 7 months ago
2007
This paper expands previous work dealing with oligopolistic supply chains to the field of closedloop supply chains. The model presented has been formulated with the intent of exa...
178
click to vote
DSS
2002
15 years 7 months ago
2002
Studies of the effect of individual differences on usage of information systems have yielded mixed results. This study examines the effect of individual differences on the perceiv...
197
click to vote
ENTCS
2002
15 years 7 months ago
2002
Component-oriented software development is becoming more and more important for the production of large-scale software applications. Today's systems are constructed by combin...
206
click to vote
ENTCS
2002
15 years 7 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...