Sciweavers

2056 search results - page 151 / 412
» Software Architectural Design Meets Security Engineering
Sort
View
SEMWEB
2007
Springer
15 years 10 months ago
Lifecycle-Support in Architectures for Ontology-Based Information Systems
Ontology-based applications play an increasingly important role in the public and corporate Semantic Web. While today there exist a range of tools and technologies to support speci...
Thanh Tran, Peter Haase, Holger Lewen, Ósca...
EMSOFT
2011
Springer
14 years 3 months ago
From boolean to quantitative synthesis
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
Pavol Cerný, Thomas A. Henzinger
134
Voted
CODES
1996
IEEE
15 years 8 months ago
Partitioning and Exploration Strategies in the TOSCA Co-Design Flow
The TaSCA environment for hardware/software co-design of control dominated systems implemented on a single chip includes a novel approach to the system exploration phase for the e...
Alessandro Balboni, William Fornaciari, Donatella ...
160
Voted
VAMOS
2007
Springer
15 years 10 months ago
An Aspect-oriented Approach for Representing Variability in Product Line Architecture
Aspect-oriented software development has recently emerged as a new paradigm for systematic modularization and representation of the crosscutting concern. Because the variability i...
Youngbong Kim, Mikyeong Moon, Keunhyuk Yeom
161
Voted
ISSRE
2010
IEEE
15 years 2 months ago
Automata-Based Verification of Security Requirements of Composite Web Services
— With the increasing reliance of complex real-world applications on composite web services assembled from independently developed component services, there is a growing need for...
Hongyu Sun, Samik Basu, Vasant Honavar, Robyn R. L...