3555 search results - page 287 / 711 » Security-Critical System Development with Extended Use Cases |
162
click to vote
ADAEUROPE
2007
Springer
16 years 24 days ago
2007
Springer
In this article, we experiment a way to extend an Ada library called Cheddar. Cheddar provides a domain specific language. Programs written with this domain specific language can...
203
click to vote
DAGSTUHL
1994
15 years 8 months ago
1994
The main advantage of distributed controlled robots and subsystems is the decentralized task execution by the system components. This way, properties for the design of flexible co...
163
click to vote
COMPSAC
2007
IEEE
16 years 28 days ago
2007
IEEE
We present in this paper an adaptive security model for Multi-agent systems. A security meta-model has been developed in which the traditional role concept has been extended. The ...
176
click to vote
DEXA
2004
Springer
16 years 2 hour ago
2004
Springer
Data cleaning deals with the detection and removal of errors and inconsistencies in data, gathered from distributed sources. This process is essential for drawing correct conclusio...
182
click to vote
HASE
1999
IEEE
15 years 11 months ago
1999
IEEE
The state of the art in verifying the real-time requirements of applications developed using general processing graph models relies on simulation or off-line scheduling. We extend...