Sciweavers

3451 search results - page 326 / 691
» Collaborative attack modeling
Sort
View
TGC
2005
Springer
16 years 5 days ago
A Practical Formal Model for Safety Analysis in Capability-Based Systems
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
Fred Spiessens, Peter Van Roy
HICSS
2002
IEEE
179views Biometrics» more  HICSS 2002»
15 years 11 months ago
Combined Modeling with Multi-agent Systems and Simulation: Its Application to Harbor Supply Chain Management
This paper presents a method for modeling the dynamic behavior of harbor supply chains and evaluating strategic and operational policies of the proposed harbor supply chain by app...
Dong Won Yi, Soung Hie Kim, Nak Hyun Kim
EWSPT
1995
Springer
15 years 10 months ago
Decentralised Process Modelling
In this paper, we advocate decentralised process modelling and suggest that understanding and modelling the development processes of individual development participants is the key ...
Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein,...
175
Voted
CDC
2009
IEEE
127views Control Systems» more  CDC 2009»
15 years 10 months ago
Model driven design in industrial automation
—Current industrial applications demand the design of more and more complex, safe and trustworthy control systems which exhibit a high degree of flexibility and reutilization. To...
Elisabet Estevez, Isabel Sarachaga, Federico Perez...
ECIS
2000
15 years 8 months ago
Towards an Entertaining Business Model: A Teaching Case
For managers in established firms the Internet is a tough nut to crack. It is simple to set up a web presence, but difficult to create web-based business models. The brave new worl...
Claudia Löbbecke, Philip Powell