Sciweavers

14331 search results - page 261 / 2867
» On the modeling and analysis of obligations
Sort
View
126
Voted
JACIII
2006
65views more  JACIII 2006»
15 years 6 months ago
Switching Model Construction and Stability Analysis for Nonlinear Systems
Hiroshi Ohtake, Kazuo Tanaka
JSS
2008
119views more  JSS 2008»
15 years 6 months ago
Automated error analysis for the agilization of feature modeling
Pablo Trinidad, David Benavides, Amador Durá...
JCSS
2006
40views more  JCSS 2006»
15 years 6 months ago
A parametric analysis of the state-explosion problem in model checking
Stéphane Demri, François Laroussinie...
MANSCI
2008
86views more  MANSCI 2008»
15 years 6 months ago
Modeling and Analysis of Call Center Arrival Data: A Bayesian Approach
Refik Soyer, M. Murat Tarimcilar