Sciweavers

286 search results - page 32 / 58
» Graph-Based Models for Managing Development Processes, Resou...
Sort
View
BIRTHDAY
2007
Springer
14 years 1 months ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
CAISE
2006
Springer
13 years 11 months ago
Regulation in Information Systems at the Level of Tunement
Information Systems (IS) have a major impact on human activities. They are not only "objects or products" because they directly concern our access to knowledge, our possi...
Michel Léonard, Abdelaziz Khadraoui, Jolita...
CORR
2008
Springer
128views Education» more  CORR 2008»
13 years 7 months ago
Electricity Demand and Energy Consumption Management System
This project describes the electricity demand and energy consumption management system and its application to Southern Peru smelter. It is composted of an hourly demand-forecastin...
Juan Ojeda Sarmiento
IPM
1998
176views more  IPM 1998»
13 years 7 months ago
Interfaces and Tools for the Library of Congress National Digital Library Program
This paper describes a collaborative effort to explore user needs in a digital library, develop interface prototypes for a digital library, and suggest and prototype tools for dig...
Gary Marchionini, Catherine Plaisant, Anita Komlod...
WSC
2000
13 years 9 months ago
Using simulation to support implementation of flexible manufacturing Cell
A simulation model was developed and tested using Taylor II to justify the implementation of a Flexible Manufacturing Cell (FMC). The current production capacity at the existing C...
Kambiz Farahmand