3926 search results - page 185 / 786 » Deriving Information Requirements from Responsibility Models |
146
click to vote
TACAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...
141
click to vote
EKAW
1994
Springer
15 years 8 months ago
1994
Springer
Formal knowledge modelling languages have a number of advantages over informal languages, such as their precise meaning and the possibility to derive propertiesthrough formal proof...
170
click to vote
COMPSAC
1998
IEEE
15 years 9 months ago
1998
IEEE
Many world wide web applications require access, transfer, and synchronization of large multimedia data objects (MDOs) (such as, audio, video, and images) across the communication...
206
click to vote
ICDE
2011
IEEE
14 years 8 months ago
2011
IEEE
— Although efficient processing of probabilistic databases is a well-established field, a wide range of applications are still unable to benefit from these techniques due to t...
124
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
: Foundational ontologies provide the basic concepts upon which any domain-specific ontology is built. This paper presents a new foundational ontology, UFO, and shows how it can be...