9267 search results - page 191 / 1854 » Expectation-Oriented Analysis and Design |
VTC
2006
IEEE
14 years 3 months ago
2006
IEEE
— We consider the application of spatial multiplexing to ad hoc networks where nodes have multiple antennas. At the physical level, we suppose that layered space–time multiuser...
HICSS
2009
IEEE
14 years 4 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
MM
2004
ACM
14 years 2 months ago
2004
ACM
Involving a school teacher in the development of the intelligent writing tutor StoryStation allowed progress to be made on the problem of story classification, an aspect of story...
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
— This paper investigates the implementation of a number of circuits used to perform a high speed closest value match lookup. The design is targeted particularly for use in a sea...
ITCC
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents an approach to the architectural design and analysis of secure software systems based on the system requirements elicited in the form of use cases and misuse c...