92 search results - page 11 / 19 » Coarse-Grained Components as an Alternative to Component Fra... |
ASWEC
2005
IEEE
14 years 1 months ago
2005
IEEE
Message Sequence Charts (MSCs) are a graphical language for scenarios of communicating components exchanging messages in a distributed environment. The language has been standardi...
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
AIPS
2009
13 years 8 months ago
2009
The growing presence of household robots in inhabited environments arises the need for new robot task planning techniques. These techniques should take into consideration not only...
CCE
2007
13 years 7 months ago
2007
In this work, decisions that have a long lasting effect on the SC such as the design and retrofit of a production/distribution network are considered. The retrofitting tasks are a...
JOC
2011
13 years 2 months ago
2011
In light of the growing complexity of cryptographic protocols and applications, it becomes highly desirable to mechanize — and eventually automate — the security analysis of p...