Sciweavers

41938 search results - page 149 / 8388
» Complex Systems Modeling
Sort
View
APSEC
2007
IEEE
15 years 11 months ago
Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems
Analyzing accidents is a vital exercise in the development of safety-critical software systems to prevent past accidents from reoccurring in the future. Current practices such as ...
Tariq Mahmood, Edmund Kazmierczak, Tim Kelly, Denn...
PODS
2011
ACM
229views Database» more  PODS 2011»
14 years 7 months ago
On the complexity of privacy-preserving complex event processing
Complex Event Processing (CEP) Systems are stream processing systems that monitor incoming event streams in search of userspecified event patterns. While CEP systems have been ad...
Yeye He, Siddharth Barman, Di Wang, Jeffrey F. Nau...
159
Voted
CSB
2005
IEEE
130views Bioinformatics» more  CSB 2005»
15 years 10 months ago
iSimBioSys: An "In Silico" Discrete Event Simulation Framework for Modeling Biological Systems
The genome projects have provided comprehensive information about the basic building blocks of life. The next challenge is to understand how biological functions emerge from compl...
Samik Ghosh, Preetam Ghosh, Kalyan Basu, Sajal K. ...
149
Voted
ICEBE
2005
IEEE
135views Business» more  ICEBE 2005»
15 years 10 months ago
GridPML: A Process Modeling Language and History Capture System for Grid Service Composition
This paper presents a process modeling language known as the GridPML for the composition of Grid Services. The GridPML is an XML-based language that supports basic control flow co...
Hua Ma, Susan Darling Urban, Yang Xiao, Suzanne W....
QEST
2006
IEEE
15 years 11 months ago
Bound-Preserving Composition for Markov Reward Models
Stochastic orders can be applied to Markov reward models and used to aggregate models, while introducing a bounded error. Aggregation reduces the number of states in a model, miti...
David Daly, Peter Buchholz, William H. Sanders