29147 search results - page 5504 / 5830 » System Modeling Resurrected |
163
click to vote
PTS
2007
15 years 8 months ago
2007
Extended Finite State Machine (EFSM)-based passive fault detection involves modeling the system under test (SUT) as an EFSM M, monitoring the input/output behaviors of the SUT, and...
212
click to vote
TAMODIA
2008
15 years 8 months ago
2008
In this paper we introduce MuiCSer, a conceptual process framework for Multi-disciplinary User-centred Software Engineering (UCSE) processes. UCSE processes strive for the combinat...
173
click to vote
SEBD
2007
15 years 8 months ago
2007
We consider the problem of query containment over an object data model derived from F-logic. F-logic has generated considerable interest commercially, in the academia, and within ...
142
click to vote
AAAI
2006
15 years 8 months ago
2006
In multiple criteria Markov Decision Processes (MDP) where multiple costs are incurred at every decision point, current methods solve them by minimising the expected primary cost ...
159
click to vote
APBC
2004
15 years 8 months ago
2004
With the continued growth of three dimensional structural information databases comes a corresponding increase in interest in this data for the study of new sequences and an ever-...