Results 61 to 70 of about 39,100 (211)

National Wildlife Refuges and Intensive Management in Alaska: Another Case for Preemption [PDF]

, 2010
Developing high quality software is difficult. Traditional software engineering methods emphasizes on structured and linear workflow of activities methods that have been criticized due to their rigid and inflexible nature.
Joly, Julie Lurman
core   +1 more source

SPDL Model Checking via Property-Driven State Space Generation [PDF]

, 2007
In this report we describe how both, memory and time requirements for stochastic model checking of SPDL (stochastic propositional dynamic logic) formulae can significantly be reduced. SPDL is the stochastic extension of the multi-modal program logic PDL.\
Haverkort, Boudewijn R., Kuntz, Matthias
core   +1 more source

Sigref – A Symbolic Bisimulation Tool Box [PDF]

, 2006
We present a uniform signature-based approach to compute the most popular bisimulations. Our approach is implemented symbolically using BDDs, which enables the handling of very large transition systems.
A. Bouajjani, A. Bouajjani, A. Bouajjani, A. Bouali, D. Harel, D. Park, H. Garavel, H. Hermanns, H. Hermanns, I. Wegener, J. Baeten, J. Burch, J.A. Bergstra, J.C. Fernandez, J.F. Groote, J.R. Burch, M. Kuntz, N. Klarlund, P. Kanellakis, R. Bryant, R. Glabbeek van, R. Milner, R. Milner, R. Milner, R. Milner, R. Paige, R.J. Glabbeek van, S. Blom, S. Graf, U. Montanari, Y. Matsunaga   +30 more
core   +3 more sources

Improving Manufacturing Efficiency in Developing Countries: A Value Stream Mapping Case Study of a Tanzanian Rice Mill

Engineering Reports, Volume 7, Issue 9, September 2025.
The study used value stream mapping to identify value‐adding and nonvalue‐adding activities in a rice milling industry which was used as a case study. EdrawMax version 10.5.0 created current and future state maps, revealing improvements in lead time, cycle time, employee performance, and production output.
Juma Mohamed Matindana, Francis Daudi Sinkamba   +1 more
wiley   +1 more source

The assembly line feeding problem: classification and literature review [PDF]

, 2017
In recent years some trends in several product assembly systems emerged, namely mass-customization [Boysen et al., 2007], integration of new product functionalities [Göpfert et al., 2016] and increase in the number of models (e.g.
Limère, Veronique, Schmid, Nico
core   +1 more source

Driving Changes: Analyzing the Factors Influencing Lean Manufacturing Adoption in Tanzania Through Structural Equation Modeling (SEM)

Engineering Reports, Volume 7, Issue 9, September 2025.
The study aimed to determine the factors influencing the adoption of lean manufacturing for manufacturing industries in Tanzania. PLS‐SEM and the relative importance index were used to analyze the data. The study revealed that external and policy drivers have positive effects on the adoption of lean manufacturing.
Juma M. Matindana, Francis D. Sinkamba, Mussa I. Mgwatu   +2 more
wiley   +1 more source

FUNÇÕES E APLICAÇÕES DAS ATIVIDADES DO PLANEJAMENTO E CONTROLE DA PRODUÇÃO EM UMA INDÚSTRIA DE INSUMOS PARA EMPRESAS DO SETOR TÊXTIL DO CEARÁ

Revista Gestão em Análise, 2020
O objetivo deste estudo é analisar como as atividades do Planejamento e Controle da Produção (PCP) são realizadas na prática em uma empresa de insumos que atua no setor têxtil, observando a aplicação dos Sistemas de Coordenação de Ordens (SCOs), como o ...
Isaque Santiago Amaro Costa, Jorge dos Santos Gurgel, Andréa Moura da Costa Souza   +2 more
doaj   +1 more source

Scrum2Kanban: Integrating Kanban and Scrum in a University Software Engineering Capstone Course

, 2018
Using university capstone courses to teach agile software development methodologies has become commonplace, as agile methods have gained support in professional software development.
Georgia, Komus Ayelt, Mahnic Viljan, Mahnič V, Persson Mia   +4 more
core   +1 more source

Inclusion of Autistic IT Workforce in Action: An Auticon Approach

Information Systems Journal, Volume 35, Issue 5, Page 1439-1459, September 2025.
ABSTRACT This paper examines the IT workforce management practices of auticon, a pioneering international IT consultancy firm from Germany that employs autistic individuals as its core workforce to deliver economically and socially sustainable IT services.
Olga Abramova, Jan Recker, Ursula Schemm, Lukas‐Daniel Barwitzki   +3 more
wiley   +1 more source

Execution of Pull System and Constant Work-in-Process Using Kanban System—A Case Study

Engineering Proceedings
This study presents the implementation of a pull-based production system integrated with a constant work-in-process (CONWIP) approach using the Kanban Methodology in a bearing manufacturing industry. A case study on the UN 3213B bottom roller bearing was
Kamal Ukey, Sameer S. Gajghate, Subhash Kumar, Akhya Kumar Behera, Himadri Majumder   +4 more
doaj   +1 more source