8492 search results - page 230 / 1699 » Modelling and Design of Multi-Agent Systems |
130
Voted
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
The ForSyDe methodology has been developed for system level design. Starting with a formal specification model, that captures the functionality of the system at a high abstractio...
123
Voted
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...
141
Voted
CODES
2000
IEEE
15 years 9 months ago
2000
IEEE
—Huge new design challenges for system-on-chip (SoC) are the result of decreasing time-to-market coupled with rapidly increasing gate counts and embedded software representing 50...
135
Voted
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
When designing heterogeneous MP-SoCs designers have to take into account various objectives such as power, die size, flexibility, performance or programmability. But to be able t...
143
click to vote
ICECCS
2005
IEEE
15 years 10 months ago
2005
IEEE
Security design at architecture level is critical to achieve high assurance software systems. However, most security design techniques for software architectures were in ad hoc fa...