5180 search results - page 932 / 1036 » Requirements Engineering |
CODES
2003
IEEE
14 years 3 months ago
2003
IEEE
Ever increasing complexity and heterogeneity of SoC platforms require diversified on-chip communication schemes beyond the currently omnipresent shared bus architectures. To prev...
IWPSE
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper reports on the use of coordination contracts, presented at the previous two IWPSE workshops, in a project for a credit recovery company. We have designed and implemente...
FSTTCS
2003
Springer
14 years 3 months ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
COOPIS
2002
IEEE
14 years 3 months ago
2002
IEEE
The design of virtual workplaces that can support virtual work processes has traditionally been either ad-hoc, or has been influenced by the top-down approaches, such as ‘virtua...
RV
2009
Springer
14 years 2 months ago
2009
Springer
Monitoring of software’s execution is crucial in numerous software development tasks. Current monitoring efforts generally require extensive instrumentation of the software or d...