4902 search results - page 705 / 981 » Multi-agent Systems Methodology |
163
click to vote
DATE
2003
IEEE
16 years 9 hour ago
2003
IEEE
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...
179
click to vote
DATE
2003
IEEE
16 years 9 hour ago
2003
IEEE
This paper presents VISTA, a new methodology and tool dedicated to analyse system level performance by executing full-scale SW application code on a transaction-level model of the...
160
click to vote
DATE
2003
IEEE
16 years 9 hour 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...
169
click to vote
ITCC
2003
IEEE
15 years 12 months ago
2003
IEEE
As web information systems tend to mature it has become increasingly important to have an engineered design of such systems. Hera is a design methodology that supports the develop...
189
click to vote
MEMOCODE
2003
IEEE
15 years 12 months ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...