Sciweavers

5945 search results - page 72 / 1189
» A Model for Projection and Action
Sort
View
WSC
2008
13 years 10 months ago
A dynamic crashing method for project management using simulation-based optimization
A dynamic simulation-based crashing method is introduced in this research to evaluate project networks and determine the optimum crashing configuration that minimizes the average ...
Michael E. Kuhl, Radhames A. Tolentino-Pena
ACS
2006
13 years 8 months ago
Duality for Finite Hopf Algebras Explained by Corings
We give a coring version for the duality theorem for actions and coactions of a finitely generated projective Hopf algebra. We also provide a coring analogue for a theorem of H.-J....
Stefaan Caenepeel, D. Quinn, S. Raianu
COMPSEC
2010
146views more  COMPSEC 2010»
13 years 8 months ago
An intruder model with message inspection for model checking security protocols
Model checking security protocols is based on an intruder model that represents the eavesdropping or interception of the exchanged messages, while at the same time performs attack...
Stylianos Basagiannis, Panagiotis Katsaros, Andrew...
ANOR
2005
110views more  ANOR 2005»
13 years 7 months ago
Managing Cost Overrun Risk in Project Funding Allocation
This paper discusses decision making of project funding allocation under uncertain project costs. Because project costs are uncertain and funding allocations may not necessarily ma...
Chung-Li Tseng, Kyle Y. Lin, Satheesh K. Sundarara...
CLIMA
2007
13 years 9 months ago
Actions with Failures in Interval Temporal Logic
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...
Arjen Hommersom, Peter J. F. Lucas