7209 search results - page 676 / 1442 » Software Engineering for Multi-Agent Systems |
157
click to vote
SIS
2004
15 years 7 months ago
2004
In this paper we outline a new process model for security engineering. This process model extends object oriented, use case driven software development by the systematic treatment ...
139
click to vote
KBSE
2007
IEEE
16 years 16 days ago
2007
IEEE
Growth in the complexity of computing systems, in the dynamism of the environments they operate in, and the need for timely adaptations as conditions change, now pose significant...
167
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...
158
click to vote
FSTTCS
2007
Springer
16 years 12 days ago
2007
Springer
We examine a bidirectional Propositional Dynamic Logic (PDL) for message sequence charts (MSCs) extending LTL and TLC− . Every formula is translated into an equivalent communicat...
136
click to vote
IOLTS
2006
IEEE
16 years 8 days ago
2006
IEEE
This paper describes a highly reliable digital circuit design method based on totally self checking blocks implemented in FPGAs. The bases of the self checking blocks are parity p...