14056 search results - page 131 / 2812 » Consistency in Model Integration |
160
click to vote
ESWS
2008
Springer
15 years 6 months ago
2008
Springer
Ontology-Driven Software Development (ODSD) advocates using ontologies for capturing knowledge about a software system at development time. So far, ODSD approaches have mainly focu...
143
click to vote
RTAS
2007
IEEE
15 years 11 months ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
121
click to vote
JMLR
2010
14 years 11 months ago
2010
We present a new estimation principle for parameterized statistical models. The idea is to perform nonlinear logistic regression to discriminate between the observed data and some...
160
click to vote
BPM
2008
Springer
15 years 7 months ago
2008
Springer
The need to involve business users in process modeling is largely perceived in the context of Business Process Management systems. This can facilitate the elaboration of consistent...
122
click to vote
JCS
2002
15 years 4 months ago
2002
We present two generic formal security models for operating systems of multiapplicative smart cards. The models formalize the main security aspects of secrecy, integrity, secure co...