881 search results - page 89 / 177 » Specification and Design Considerations for Reliable Embedde... |
COMPSAC
2004
IEEE
15 years 1 months ago
2004
IEEE
The influence of architecture in assurance of system safety is being increasingly recognised in mission-critical software applications. Nevertheless, most architectural strategies...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
– In this paper, we consider a novel spatial diversity scheme for a mutually cooperative relay (MCR) system in which two active users are simultaneously communicating with the sa...
ICPPW
1999
IEEE
15 years 2 months ago
1999
IEEE
Message oriented middleware (MOM) is a specific class of middleware that operates on the principles of message passing or message queuing. Existing MOM syste doesn't support ...
CHI
2003
ACM
15 years 10 months ago
2003
ACM
Studies of information seeking and workplace collaboration often find that social relationships are a strong factor in determining who collaborates with whom. Social networks prov...
ETRICS
2006
15 years 1 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...