1288 search results - page 206 / 258 » On Analysis of Design Component Contracts: A Case Study |
116
click to vote
ICS
2009
Tsinghua U.
15 years 6 months ago
2009
Tsinghua U.
Large Multi-Processor Systems-on-Chip use Networks-on-Chip with a high degree of reusability and scalability for message communication. Therefore, network infrastructure is a cruc...
117
Voted
EDBTW
2010
Springer
15 years 8 months ago
2010
Springer
There are some software applications especially in privacy protection domain which they need anonymity support. Therefore lots of methods and protocols have been presented so far ...
134
click to vote
IFM
2007
Springer
15 years 7 months ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
SIGDOC
2009
ACM
15 years 6 months ago
2009
ACM
Technology allows users to interact with a wide variety of information and services. However, more and more users need to integrate complementary content to previously accessed in...
109
click to vote
AOIS
2003
15 years 2 months ago
2003
In this paper, we improve and extend the MaSE methodology to bridge the gaps in this methodology. First, we propose an improvement process and, based on this process, we report th...