Sciweavers

2429 search results - page 243 / 486
» Using Aspects to Design a Secure System
Sort
View
125
Voted
ISCIS
2004
Springer
15 years 8 months ago
Semi-formal and Formal Models Applied to Flexible Manufacturing Systems
Abstract. Flexible Manufacturing Systems (FMSs) are adopted to process different goods in different mix ratios allowing firms to react quickly and efficiently to changes in produ...
Andrea Matta, Carlo A. Furia, Matteo Rossi
93
Voted
TEI
2010
ACM
108views Hardware» more  TEI 2010»
15 years 10 months ago
Cartouche: conventions for tangibles bridging diverse interactive systems
We describe an approach for a class of tangible interaction elements that are applicable across a broad variety of interactive systems. These tangibles share certain physical, vis...
Brygg Ullmer, Zachary Dever, Rajesh Sankaran, Corn...
103
Voted
JCIT
2010
130views more  JCIT 2010»
14 years 10 months ago
Research on Simulation and Optimization of Transshipment Port Operation in a Power Coal Ocean Shipping Logistics System on the B
With China's rapid economic development, electricity supply is relatively shortage, and the contradiction of power coal supply and demand is prominent. In this context, using...
Yabin Li
129
Voted
ITNG
2008
IEEE
15 years 9 months ago
Towards a Specification Prototype for Hierarchy-Driven Attack Patterns
We propose the characteristics of a software tool that leverages specifying attack pattern details in understandable hierarchies. These hierarchies are currently manually populate...
Joshua J. Pauli, Patrick Henry Engebretson
SAC
2009
ACM
15 years 10 months ago
LTS semantics for use case models
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...
Daniel Sinnig, Patrice Chalin, Ferhat Khendek