Sciweavers

826 search results - page 93 / 166
» A Pragmatic Approach to Formalizing Object-Oriented Modeling...
Sort
View
IJIS
2000
75views more  IJIS 2000»
13 years 8 months ago
Relating decision under uncertainty and multicriteria decision making models
This short overview paper points out the striking similarity between decision under uncertainty and multicriteria decision making problems, two areas which have been developed in ...
Didier Dubois, Michel Grabisch, François Mo...
IHI
2012
217views Healthcare» more  IHI 2012»
12 years 3 months ago
Declarative privacy policy: finite models and attribute-based encryption
Regulations and policies regarding Electronic Health Information (EHI) are increasingly complex. Federal and State policy makers have called for both education to increase stakeho...
Peifung E. Lam, John C. Mitchell, Andre Scedrov, S...
IJBIS
2010
123views more  IJBIS 2010»
13 years 5 months ago
Designing information systems requirements in context: insights from the theory of deferred action
This paper considers conceptual and contextual issues relating to the problem of developing systems models capable of representing knowable and unknowable information requirements...
Nandish V. Patel, Ray Hackney
GI
2009
Springer
13 years 6 months ago
Specification based testing of automotive human machine interfaces
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
Holger Grandy, Sebastian Benz
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
13 years 12 months ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li