Sciweavers

975 search results - page 11 / 195
» Feature Interaction Problem in Computer-Telephony Integratio...
Sort
View
FM
2006
Springer
142views Formal Methods» more  FM 2006»
14 years 7 days ago
Feature Specification and Static Analysis for Interaction Resolution
While designing a service-oriented system, deciding whether a service interaction is desired or harmful is a subjective choice which depends on the requirements expressed by the us...
Marc Aiguier, Karim Berkani, Pascale Le Gall
DATE
2003
IEEE
132views Hardware» more  DATE 2003»
14 years 1 months ago
Introspection in System-Level Language Frameworks: Meta-Level vs. Integrated
Reflection and automated introspection of a design in system level design frameworks are seen as necessities for the CAD tools to manipulate the designs within the tools. These f...
Frederic Doucet, Sandeep K. Shukla, Rajesh K. Gupt...
ICSE
2007
IEEE-ACM
14 years 8 months ago
Spotlight: A Prototype Tool for Software Plans
Software evolution is made difficult by the need to integrate new features with all previously implemented features in the system. We present Spotlight, a prototype editor for sof...
David Coppit, Robert R. Painter, Meghan Revelle
IJCBDD
2010
127views more  IJCBDD 2010»
13 years 7 months ago
Predicting protein complexes by data integration of different types of interactions
: The explosion of highthroughput interaction data from proteomics studies gives us the opportunity to integrate Protein-Protein Interactions (PPI) from different type of interacti...
Powell Patrick Cheng Tan, Daryanaz Dargahi, Freder...
APSEC
2005
IEEE
14 years 2 months ago
Describing and Verifying Integrated Services of Home Network Systems
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kiku...