3828 search results - page 390 / 766 » Proof-Based System Engineering Using a Virtual System Model |
159
click to vote
FASE
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...
171
click to vote
KI
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes the DiKe model-based diagnosis framework, which incorporates multiple diagnosis engines, multiple user-level system description languages, a theorem prover, an...
167
click to vote
VAST
2004
ACM
16 years 5 days ago
2004
ACM
We discuss a system for the digital capture of museum artefacts which are accumulated into a multimedia repository comprising 3D models, images, video and sound clips as well as t...
182
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
We present a CPU scheduling algorithm, called Energy-efficient Utility Accrual Algorithm (or EUA), for battery-powered, embedded real-time systems. We consider an embedded softwar...
202
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
The Distributed Constraint Optimization Problem (DCOP) is a fundamental formalism for multi-agent cooperation. A dedicated framework called Resource Constrained DCOP (RCDCOP) has ...