Sciweavers

19003 search results - page 318 / 3801
» We Need Assurance
Sort
View
HICSS
1995
IEEE
110views Biometrics» more  HICSS 1995»
15 years 10 months ago
Reliability analysis of CSP specifications using Petri nets and Markov processes
In our research we are developing methodologiesand tools to permit stochastic analyses of CSP-based system specifications. In this regard, we have been developing morphismsbetween...
Krishna M. Kavi, Frederick T. Sheldon, Behrooz Shi...
LISA
2008
15 years 9 months ago
Dynamic Dependencies and Performance Improvement
The art of performance tuning is, alas, still an art; there are few tools to help predict the effects of changes that are motivated by performance needs. In this work, we present ...
Marc Chiarini, Alva L. Couch
WSC
2008
15 years 9 months ago
Management of HLA-based distributed legacy SLX-models
This article discusses management tasks that have to be supported for an efficient re-use of simulation models within HLA-based distributed simulation environments. After a review...
Michael Raab, Thomas Schulze, Steffen Straßb...
CAISE
2008
Springer
15 years 8 months ago
Reasoning about Substitute Choices and Preference Ordering in e-Services
e-Services are just like normal services, but can be ordered and provisioned via the Internet completely. Increasingly, these e-services are offered as a multi-supplier bundle of e...
Sybren de Kinderen, Jaap Gordijn
DCOSS
2005
Springer
15 years 8 months ago
An Adaptive Blind Algorithm for Energy Balanced Data Propagation in Wireless Sensors Networks
In this paper, we consider the problem of energy balanced data propagation in wireless sensor networks and we generalise previous works by allowing realistic energy assignment. A n...
Pierre Leone, Sotiris E. Nikoletseas, José ...