Sciweavers

1527 search results - page 38 / 306
» From Requirements to Design: Formalizing the Key Steps
Sort
View
JUCS
2008
115views more  JUCS 2008»
13 years 7 months ago
Capturing Interaction Requirements in a Model Transformation Technology Based on MDA
: Currently, many models are used to capture functional software requirements. However, the Software Engineering community has faded interaction requirements into the background, d...
José Ignacio Panach, Sergio España, ...
SIGCOMM
1998
ACM
13 years 12 months ago
Secure Group Communications Using Key Graphs
Many emerging applications (e.g., teleconference, real-time information services, pay per view, distributed interactive simulation, and collaborative work) are based upon a group ...
Chung Kei Wong, Mohamed G. Gouda, Simon S. Lam
JUCS
2008
130views more  JUCS 2008»
13 years 7 months ago
Experimenting the Automated Selection of COTS Components Based on Cost and System Requirements
: In a component-based development process the selection of components is an activity that takes place over multiple lifecycle phases that span from requirement specifications thro...
Vittorio Cortellessa, Ivica Crnkovic, Fabrizio Mar...
ICFEM
2007
Springer
14 years 1 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
BMCBI
2007
130views more  BMCBI 2007»
13 years 7 months ago
Requirements and ontology for a G protein-coupled receptor oligomerization knowledge base
Background: G Protein-Coupled Receptors (GPCRs) are a large and diverse family of membrane proteins whose members participate in the regulation of most cellular and physiological ...
Lucy Skrabanek, Marta Murcia, Michel Bouvier, Laks...