Sciweavers

12670 search results - page 377 / 2534
» Requirements Modeling
Sort
View
LCPC
2001
Springer
15 years 11 months ago
An Interface Model for Parallel Components
Component architectures promote cross-project code reuse by facilitating composition of large applications using off-the-shelf software components. Existing component architecture...
Milind A. Bhandarkar, Laxmikant V. Kalé
WETICE
2000
IEEE
15 years 11 months ago
DEMOIR: A Hybrid Architecture for Expertise Modeling and Recommender Systems
Although employees’ expertise has long been regarded as an important asset in organizations at least on a par with capital, goods and documented information, it is only recently...
Dawit Yimam, Alfred Kobsa
HICSS
1999
IEEE
115views Biometrics» more  HICSS 1999»
15 years 11 months ago
GIS-based Dynamic Traffic Congestion Modeling to Support Time-Critical Logistics
Time-critical logistics (TCL) refer to time-sensitive procurement, processing and distribution activities. A confounding factor is the transportation networks that contain these l...
Harvey J. Miller, Yi-Hwa Wu, Ming-Chih Hung
TACAS
1997
Springer
87views Algorithms» more  TACAS 1997»
15 years 11 months ago
Integration in PVS: Tables, Types, and Model Checking
Abstract. We have argued previously that the e ectiveness of a veri cation system derives not only from the power of its individual features for expression and deduction, but from ...
Sam Owre, John M. Rushby, Natarajan Shankar
PARLE
1994
15 years 11 months ago
Modelling Photochemical Pollution using Parallel and Distributed Computing Platforms
Scientists are increasingly turning to numerical simulation in order to investigate and model complex environmental systems. Numerical simulation has enormous advantages over labor...
David Abramson, M. Cope, R. McKenzie