Sciweavers

1825 search results - page 221 / 365
» Decision Support System on the Grid
Sort
View
MANSCI
2007
139views more  MANSCI 2007»
15 years 6 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
ITP
2010
172views Mathematics» more  ITP 2010»
15 years 4 months 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...
SOCIALCOM
2010
15 years 4 months ago
On the Navigability of Social Tagging Systems
It is a widely held belief among designers of social tagging systems that tag clouds represent a useful tool for navigation. This is evident in, for example, the increasing number ...
Denis Helic, Christoph Trattner, Markus Strohmaier...
DSRT
2009
IEEE
15 years 4 months ago
DCS: A Distributed Coordinate System for Network Positioning
Predicting latency between nodes on the internet can have a significant impact on the performance of many services that use latency distances among nodes as a decision making input...
Negar Hariri, Jafar Habibi, Shervin Shirmohammadi,...
WECWIS
2005
IEEE
130views ECommerce» more  WECWIS 2005»
16 years 1 days ago
Future Research Challenges in Business Agility - Time, Control and Information Systems
Today organizations face increasingly dynamic and competitive environments. Business agility aims to address these challenges. In this contribution, we aim to increase understandi...
Markus Strohmaier, Herwig Rollett