Sciweavers

10038 search results - page 348 / 2008
» Model Checking for Managers
Sort
View
ENVSOFT
2007
91views more  ENVSOFT 2007»
15 years 6 months ago
Integrated assessment modelling for water resource allocation and management: A generalised conceptual framework
Nodal network approaches are a common framework for considering water allocation in river basins. In this type of model framework, a river basin is represented as a series of node...
Rebecca A. Letcher, Barry F. W. Croke, Anthony J. ...
EUC
2004
Springer
16 years 4 days ago
Q-MAR: An Adaptive QoS Management Model for Situation-Aware Middleware
A situation-aware middleware provides standardized communication protocols to interoperate an application with others under dynamically changing situations. Since the application n...
Hoh Peter In, ChangHwa Kim, Stephen S. Yau
VRST
1997
ACM
15 years 11 months ago
Managing level of detail through head-tracked peripheral degradation: a model and resulting design principles
Previous work has demonstrated the utility of reductions in the level of detail (LOD) in the periphery of head-tracked, large field of view displays. This paper provides a psychop...
Benjamin Watson, Neff Walker, Larry F. Hodges
DSS
2007
94views more  DSS 2007»
15 years 6 months ago
A formal modeling approach for supply chain event management
: As supply chains become more dynamic it is important to be able to model them formally as business processes. In particular, there is a need for a sense and respond capability to...
Rong Liu, Akhil Kumar, Wil M. P. van der Aalst
DSS
2000
82views more  DSS 2000»
15 years 6 months ago
The adoption of electronic data interchange: a model and practical tool for managers
Despite the benefits of standards-based Electronic Data Interchange (EDI) modes of communication, only a small percentage of organizations have adopted even a single form of EDI. ...
Frederick Kaefer, Elliot Bendoly