Sciweavers

1158 search results - page 91 / 232
» Software is discrete mathematics
Sort
View
ACSAC
2000
IEEE
14 years 1 months ago
Dynamic Access Control through Petri Net Workflows
Access control is an important protection mechanism for information systems. An access control matrix grants subjects privileges to objects. Today, access control matrices are sta...
Konstantin Knorr
ICNP
1998
IEEE
14 years 1 months ago
Flow Theory: An Enhancement
Flow Theory is a rich, effective theory introduced in order to study real-time network protocols. It is based on discrete mathematics in which a flow of data is represented by an ...
Alfio Lombardo, Giacomo Morabito, Sergio Palazzo, ...
WSC
2007
14 years 17 days ago
Sensitivity analysis on causal events of WIP bubbles by a log-driven simulator
Fluctuations of work-in-progress (WIP) levels cause variability of cycle time and often lead to productivity losses in semiconductor wafer fabrication plants. To identify sources ...
Ryo Hirade, Rudy Raymond, Hiroyuki Okano
WSC
2008
14 years 17 days ago
A simulation based approach for supporting Automated Guided Vehicles (AGVs) systems design
Automated Guided Vehicle (AGV) logistic handling system are widely adopted when high transportation capacity and quality of service are the most important characteristics to reach...
Elisa Gebennini, Sara Dallari, Andrea Grassi, Gius...
IJCAI
2007
13 years 11 months ago
The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems
ESSENCE is a new formal language for specifying combinatorial problems in a manner similar to natural rigorous specifications that use a mixture of natural language and discrete ...
Alan M. Frisch, Matthew Grum, Christopher Jefferso...