1382 search results - page 92 / 277 » Strider: Configuration Modelling and Analysis of Complex Sys... |
127
click to vote
KBSE
1999
IEEE
15 years 5 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
130
click to vote
CSCWD
2001
Springer
15 years 6 months ago
2001
Springer
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...
121
click to vote
ICMLA
2009
14 years 11 months ago
2009
Abstract--We investigate parameter-based and distributionbased approaches to regularizing the generative, similarity-based classifier called local similarity discriminant analysis ...
111
click to vote
BIB
2007
15 years 1 months ago
2007
Mathematical modelling is increasingly used to get insights into the functioning of complex biological networks. In this context, Petri nets (PNs) have recently emerged as a promi...
115
click to vote
APSEC
2007
IEEE
15 years 7 months ago
2007
IEEE
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 ...