Sciweavers

873 search results - page 62 / 175
» E-voting: Dependability Requirements and Design for Dependab...
Sort
View
ICC
2007
IEEE
159views Communications» more  ICC 2007»
15 years 6 months ago
Limited Feedback Precoding in Realistic MIMO Channel Conditions
— MIMO system design for real applications requires that factors such as channel estimation errors, feedback quantisation and realistic channel responses be taken into account. L...
Geoffrey W. K. Colman, Tricia J. Willink
ICFEM
2007
Springer
15 years 6 months ago
Formal Engineering of XACML Access Control Policies in VDM++
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
Jeremy Bryans, John S. Fitzgerald
SCIA
2005
Springer
158views Image Analysis» more  SCIA 2005»
15 years 5 months ago
A Graph Representation of Filter Networks
Abstract. Filter networks, i.e. decomposition of a filter set into a layered structure of sparse subfilters has been proven successful for e.g. efficient convolution using finit...
Björn Svensson, Mats T. Andersson, Hans Knuts...
RE
2001
Springer
15 years 4 months ago
Evolving System Architecture to Meet Changing Business Goals: An Agent and Goal-Oriented Approach
Today's requirements engineering approaches focus on notation and techniques for modeling the intended functionality and qualities of a software system. Little attention has ...
Daniel Gross, Eric S. K. Yu
WSC
2008
15 years 2 months ago
Tradeoffs in building a generic supply chain simulation capability
Building a simulation model for any large complex system requires high expertise and effort. These requirements can be reduced through building generic simulation capability that ...
Sanjay Jain