Sciweavers

861 search results - page 8 / 173
» Predicting change impact from logical models
Sort
View
ECIS
2004
13 years 8 months ago
Deriving business value from IT: converting IT expenditures into assets with desired impacts
The research reported in this paper examines how business value is being created and delivered by IT in large private organisations in Australia. The critical organisational gover...
Judy McKay, Peter Marshall
TACAS
2007
Springer
99views Algorithms» more  TACAS 2007»
14 years 1 months ago
"Don't Care" Modeling: A Logical Framework for Developing Predictive System Models
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...
Hillel Kugler, Amir Pnueli, Michael J. Stern, E. J...
ICAI
2007
13 years 8 months ago
Mining and Dynamic Simulation of Sub-Networks from Large Biomolecular Networks
Biomolecular networks dynamically respond to stimuli and implement cellular function. Understanding these dynamic changes is the key challenge for cell biologists. As biomolecular...
Xiaohua Hu, Fang-Xiang Wu, Michael K. Ng, Bahrad A...
CALCO
2007
Springer
118views Mathematics» more  CALCO 2007»
14 years 1 months ago
Coalgebraic Epistemic Update Without Change of Model
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
Corina Cîrstea, Mehrnoosh Sadrzadeh
SMC
2007
IEEE
111views Control Systems» more  SMC 2007»
14 years 1 months ago
Prediction method to maintain QoS in weather impacted wireless and satellite networks
—Rain and snow can have a distorting effect on Ku and Ka bands signal fidelity resulting in excessive digital transmission errors. This loss of signal attenuation is commonly ref...
Kamal Harb, Anand Srinivasan, Changcheng Huang, Br...