Sciweavers

1153 search results - page 120 / 231
» The Complexity of Revision, Revised
Sort
View
HICSS
2000
IEEE
129views Biometrics» more  HICSS 2000»
15 years 10 months ago
Understanding the Plant Level Costs and Benefits of ERP: Will the Ugly Duckling Always Turn into a Swan?
This paper explores the impact of Enterprise Resource Planning (ERP) systems using the individual manufacturing facility as the level of analysis. A model of ERP costs and benefit...
Thomas F. Gattiker, Dale Goodhue
ICCAD
2000
IEEE
149views Hardware» more  ICCAD 2000»
15 years 10 months ago
Dynamic Response Time Optimization for SDF Graphs
Synchronous Data Flow (SDF) is a well-known model of computation that is widely used in the control engineering and digital signal processing domains. Existing scheduling methods ...
Dirk Ziegenbein, Jan Uerpmann, Ralph Ernst
HICSS
1998
IEEE
140views Biometrics» more  HICSS 1998»
15 years 10 months ago
A Multi-Agent Approach to the Deregulation and Restructuring of Power Industry
In recent years, electric utility industry in the whole world has been facing pressure to be deregulated or restructured in order to increase its efficiency, to reduce operational...
Felix F. Wu, Chris Yeung, Ada Poon, Jerome Yen
CAV
1998
Springer
138views Hardware» more  CAV 1998»
15 years 10 months ago
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Core...
ECAI
1998
Springer
15 years 10 months ago
Transparent, Flexible, and Resource-adaptive Image Processing for Autonomous Service Robots
This paper describes SRIPPs, structured reactive image processing plans, that are tailored for the needs of autonomous service robots. SRIPPs are implemented on top of a modular, d...
Michael Beetz, Tom Arbuckle, Armin B. Cremers, M. ...