1153 search results - page 134 / 231 » Compositional Specification Calculus for Information Systems... |
110
Voted
SRDS
1999
IEEE
15 years 8 months ago
1999
IEEE
Validating distributed systems is particularly difficult, since failures may occur due to a correlated occurrence of faults in different parts of the system. This paper describes ...
138
Voted
ICIA
2007
15 years 6 months ago
2007
As computer systems continue to grow in power and access more networked content and services, we believe there will be an increasing need to provide more user-centric systems that...
112
Voted
DCC
2006
IEEE
16 years 3 months ago
2006
IEEE
This paper considers the development of a general framework for the analysis of transmit beamforming methods in multiple antenna systems with finite-rate feedback. Inspired by the...
124
Voted
UML
2001
Springer
15 years 8 months ago
2001
Springer
System testing is concerned with testing an entire system based on its specifications. In the context of object-oriented, UML development, this means that system test requirements ...
112
Voted
ISPW
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract. Answering “macro-process” research issues – which require understanding how development processes fit or do not fit in different organizational systems and environm...