Sciweavers

704 search results - page 88 / 141
» Decision Support Information Gathering System
Sort
View
COMPSAC
2002
IEEE
15 years 6 months ago
Investigating Large Software System Evolution: The Linux Kernel
Large multi-platform, multi-million lines of codes software systems evolve to cope with new platform or to meet user ever changing needs. While there has been several studies focu...
Ettore Merlo, Michel Dagenais, P. Bachand, J. S. S...
DSS
2007
86views more  DSS 2007»
15 years 1 months ago
Efficiency of critical incident management systems: Instrument development and validation
There is much literature in the area of emergency response management systems. Even so, there is in general a lacuna of literature that deals with the issue of measuring the effec...
Jin Ki Kim, Raj Sharman, H. Raghav Rao, Shambhu J....
120
Voted
MANSCI
2007
139views more  MANSCI 2007»
15 years 1 months ago
A Market-Based Optimization Algorithm for Distributed Systems
In this paper, a market-based decomposition method for decomposable linear systems is developed. The solution process iterates between a master problem that solves the market-matc...
Zhiling Guo, Gary J. Koehler, Andrew B. Whinston
116
Voted
ITP
2010
172views Mathematics» more  ITP 2010»
15 years 9 days ago
Automated Machine-Checked Hybrid System Safety Proofs
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...
WWW
2003
ACM
16 years 2 months ago
A system for principled matchmaking in an electronic marketplace
More and more resources are becoming available on the Web, and there is a growing need for infrastructures that, based on advertised descriptions, are able to semantically match d...
Tommaso Di Noia, Eugenio Di Sciascio, Francesco M....