Sciweavers

5409 search results - page 274 / 1082
» A performance study of client-broker-server systems
Sort
View
ECIS
2011
14 years 6 months ago
Analyzing best practice and critical success factors in a health information system case - are there any shortcuts to successful
This paper discusses critical success factors (CSF) and best practice in relation to IT implementation in the health sector. We have studied a University Hospital’s implementati...
Karin Axelsson, Ulf Melin, Fredrik Söderstr&o...
IPPS
2009
IEEE
16 years 1 months ago
Multi-users scheduling in parallel systems
We are interested in this paper to study scheduling problems in systems where many users compete to perform their respective jobs on shared parallel resources. Each user has speci...
Erik Saule, Denis Trystram
CAV
2005
Springer
129views Hardware» more  CAV 2005»
16 years 5 days ago
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vard...
EXPCS
2007
15 years 10 months ago
An active approach to measuring routing dynamics induced by autonomous systems
We present an active measurement study of the routing dynamics induced by AS-path prepending, a common method for controlling the inbound traffic of a multi-homed ISP. Unlike oth...
Samantha Lo, Rocky K. C. Chang, Lorenzo Colitti
ICWS
2004
IEEE
15 years 8 months ago
Net Traveler: A Framework for Autonomic Web Services Collaboration, Orchestration and Choreography in E-Government Information S
Next-generation Government Information Systems will integrate large amounts of heterogeneous data sources located on distributed networks like the Internet. We present Net Travele...
Hillary Caituiro-Monge, Manuel Rodriguez-Martinez