4211 search results - page 112 / 843 » A formal approach to MASQ |
120
click to vote
ICECCS
2009
IEEE
15 years 7 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
106
click to vote
HASE
2008
IEEE
15 years 7 months ago
2008
IEEE
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...
126
click to vote
BPM
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
SAFECOMP
2004
Springer
15 years 6 months ago
2004
Springer
Today the development of safety-critical systems is to a large extent guided by standards that make demands on both development process and system quality. Before the advent of the...
127
click to vote
AI
2003
Springer
15 years 6 months ago
2003
Springer
This paper introduces a formal theory for describing actions in terminological knowledge bases, closely related to description logics. It deals in particular with the problem of ad...