Sciweavers

7961 search results - page 135 / 1593
» Input-Output Model Programs
Sort
View
ESORICS
2007
Springer
15 years 9 months ago
Obligations and Their Interaction with Programs
Obligations are pervasive in modern systems, often linked to access control decisions. We present a very general model of obligations as objects with state, and discuss its interac...
Daniel J. Dougherty, Kathi Fisler, Shriram Krishna...
IPPS
2006
IEEE
15 years 9 months ago
Cache-oblivious simulation of parallel programs
This paper explores the relation between the structured parallelism exposed by the Decomposable BSP (DBSP) model through submachine locality and locality of reference in multi-lev...
Andrea Pietracaprina, Geppino Pucci, Francesco Sil...
GECCO
2007
Springer
181views Optimization» more  GECCO 2007»
15 years 7 months ago
Combining bond-graphs with genetic programming for unified/automated design of mechatronic or multi domain dynamic systems
The multi domain nature of a mechatronic system makes it difficult to model using a single modeling technique over the whole system as varying sets of system variables are require...
Saheeb Ahmed Kayani, Muhammad Afzaal Malik
WSC
2004
15 years 4 months ago
Ideas for Modeling and Simulation of Supply Chains with Arena
This paper presents a research project being developed at the Industrial and Systems Engineering Graduate Program at the Catholic University of Paran
Guilherme Ernani Vieira
ORL
2006
87views more  ORL 2006»
15 years 3 months ago
SPAR: stochastic programming with adversarial recourse
We consider a general adversarial stochastic optimization model. Our model involves the design of a system that an adversary may subsequently attempt to destroy or degrade. We int...
Matthew D. Bailey, Steven M. Shechter, Andrew J. S...