Sciweavers

3192 search results - page 136 / 639
» A Requirements-Driven Development Methodology
Sort
View
CRYPTO
2012
Springer
215views Cryptology» more  CRYPTO 2012»
13 years 7 months ago
New Proof Methods for Attribute-Based Encryption: Achieving Full Security through Selective Techniques
We develop a new methodology for utilizing the prior techniques to prove selective security for functional encryption systems as a direct ingredient in devising proofs of full sec...
Allison B. Lewko, Brent Waters
HICSS
2007
IEEE
133views Biometrics» more  HICSS 2007»
15 years 11 months ago
Service-Oriented Software Reengineering: SoSR
Service-Oriented Computing (SOC) enables the development and design of loosely coupled software components for integration with other software system. Since most legacy system wer...
Sam Chung, Joseph Byung Chul An, Sergio Davalos
135
Voted
HICSS
2009
IEEE
296views Biometrics» more  HICSS 2009»
15 years 12 months ago
The Impact of Organizational Culture on Agile Method Use
Agile method proponents believe that organizational culture has an effect on the extent to which an agile method is used. Research into the relationship between organizational cul...
Diane E. Strode, Sid L. Huff, Alexei Tretiakov
CAISE
2003
Springer
15 years 10 months ago
Extending UML to Represent XML Schemas
The consolidation of the Web as one of the most important ways to share and spread information has given raise to a huge amount of information systems for this media. This is the r...
Belén Vela, Esperanza Marcos
CDC
2008
IEEE
120views Control Systems» more  CDC 2008»
15 years 11 months ago
An alternative approach to designing stabilizing compensators for saturating linear time-invariant plants
Abstract— We present a new methodology for designing lowgain linear time-invariant (LTI) controllers for semi-global stabilization of an LTI plant with actuator saturation, that ...
Sandip Roy, Yan Wan, Ali Saberi, Babak Malek