Sciweavers

286 search results - page 32 / 58
» Graph-Based Models for Managing Development Processes, Resou...
Sort
View
120
Voted
BIRTHDAY
2007
Springer
15 years 9 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
124
Voted
CAISE
2006
Springer
15 years 7 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...
119
Voted
CORR
2008
Springer
128views Education» more  CORR 2008»
15 years 3 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
174
Voted
IPM
1998
176views more  IPM 1998»
15 years 3 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...
106
Voted
WSC
2000
15 years 5 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