368 search results - page 25 / 74 » A decision support system for product design in concurrent e... |
CCECE
2006
IEEE
14 years 2 months ago
2006
IEEE
Real Time embedded system designers are facing extreme challenges in underlying architectural design selection. It involves the selection of a programmable, concurrent, heterogene...
B
2007
Springer
14 years 22 days ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
CONCURRENCY
2002
13 years 8 months ago
2002
The implementation of multiple Grid computing portals has led us to develop a methodology for Grid portal development that facilitates rapid prototyping and building of portals. B...
SERP
2003
13 years 10 months ago
2003
The software engineering community has introduced component and connector concepts to support architecture-based software descriptions. However, there still exists a gap in transi...
BPM
2006
Springer
14 years 14 days ago
2006
Springer
Abstract. Car development is based on long running, concurrently executed and highly dependent processes. The coordination and synchronization of these processes has become a compl...