Sciweavers

465 search results - page 9 / 93
» Supporting Architectural Restructuring by Analyzing Feature ...
Sort
View
147
Voted
ASE
2005
102views more  ASE 2005»
15 years 2 months ago
Modular Verification of Open Features Using Three-Valued Model Checking
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
Harry C. Li, Shriram Krishnamurthi, Kathi Fisler
145
Voted
PERCOM
2004
ACM
16 years 2 months ago
Models, Protocols, and Architectures for Secure Pervasive Computing: Challenges and Research Directions
We explore the challenges and research directions in building models, protocols and architectures to support security in pervasive computing environments. We argue that to be succ...
Roshan K. Thomas, Ravi S. Sandhu
117
Voted
MODELS
2010
Springer
15 years 1 months ago
Modeling Features at Runtime
A feature represents a functional requirement fulfilled by a system. Since many maintenance tasks are expressed in terms of features, it is important to establish the corresponden...
Marcus Denker, Jorge Ressia, Orla Greevy, Oscar Ni...
169
Voted
KBSE
2010
IEEE
15 years 16 days ago
Reconfigurable run-time support for distributed service component architectures
SCA (Service Component Architecture) is an OASIS standard for describing service-oriented middleware architectures. In particular, SCA promotes a disciplined way for designing dis...
Rémi Mélisson, Philippe Merle, Danie...
110
Voted
IFIP8
2007
15 years 4 months ago
Grid-VirtuE: A Layered Architecture for Grid Virtual Enterprises
A grid virtual enterprise is a community of independent enterprises concerned with a particular sector of the economy. Its members (nodes) are small or medium size enterprises (SME...
Alfredo Cuzzocrea, Alessandro D'Atri, Andrea Gualt...