94 search results - page 9 / 19 » UML-driven Information Systems and their Formal Integration ... |
JELIA
1994
Springer
13 years 11 months ago
1994
Springer
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...
SIGADA
2004
Springer
14 years 24 days ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
SAC
1998
ACM
13 years 11 months ago
1998
ACM
This paper describes a hypermedia infrastructure, called HyperDisco, designed to address important issues such as integration, collaboration, versioning, scalability, openness, di...
EKAW
2006
Springer
13 years 11 months ago
2006
Springer
In today's world there is a need for knowledge infrastructures that can support several autonomous knowledge bases all using different ontologies and constantly adapting thes...
QOSA
2010
Springer
13 years 11 months ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...