6253 search results - page 318 / 1251 » Use Case Modeling Guidelines |
115
click to vote
CLEIEJ
2004
15 years 3 months ago
2004
Because of its facilities for the generalization and specialization of concepts and the unambiguous terminology they provide, ontologies are being used for the representation of re...
151
click to vote
SOCO
2002
Springer
15 years 3 months ago
2002
Springer
Conventional industrial control systems are in majority based on the single-input-single-output design principle with linearized models of the processes. However, most industrial p...
141
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Induction proofs often fail because the stated theorem is noninductive, in which case the user must strengthen the theorem or prove auxiliary properties before performing the induc...
145
Voted
IJIS
2011
14 years 7 months ago
2011
In this paper, we propose a method for modeling concepts in full computation-tree logic with sequence modal operators. An extended full computation-tree logic, CTLS∗ , is introdu...
121
click to vote
CEC
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract-- Cancer treatment by chemotherapy involves multiple applications of toxic drugs over a period of time. Optimising the schedule of these treatments can improve the outcome...