4350 search results - page 577 / 870 » Case studies for contract-based systems |
159
click to vote
IJES
2008
15 years 6 months ago
2008
: Current and future SoC designs will contain an increasing number of programmable units. To be able to tailor and debug these processors in their system context at the highest pos...
199
click to vote
IJISEC
2006
15 years 6 months ago
2006
Abstract A number of recent proposals aim to incorporate security engineering into mainstream software engineering. Yet, capturing trust and security requirements at an organizatio...
168
click to vote
ENGL
2007
15 years 6 months ago
2007
—This paper presents the application of quality function deployment (QFD) to process analysis. QFD has been applied in various industries since the 1960s, but traditional QFD met...
166
click to vote
NN
2006
Springer
15 years 6 months ago
2006
Springer
In theories of cognition that view the mind as a system of interacting agents, there must be mechanisms for aggregate decision-making, such as voting. Here we show that certain vo...
160
click to vote
RAS
2006
15 years 6 months ago
2006
In this paper, we study coordinated motion in a swarm robotic system, called a swarm-bot. A swarm-bot is a self-assembling and self-organising artifact, composed of a swarm of s-b...