Sciweavers

1796 search results - page 146 / 360
» An Approach to Compositional Model Checking
Sort
View
SAC
2010
ACM
14 years 5 months ago
Implementing software product lines using traits
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer
ICDCS
2007
IEEE
14 years 5 months ago
Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
Guoqiang Shu, David Lee
IROS
2006
IEEE
113views Robotics» more  IROS 2006»
14 years 4 months ago
A Hybrid Approach to Practical Self Collision Detection System of Humanoid Robot
— Online self collision detection system for humanoid robots is an essentially important function for developing sensor based behaviors without worrying about breaking hardware. ...
Kei Okada, Masayuki Inaba
BMCBI
2008
130views more  BMCBI 2008»
13 years 11 months ago
A novel series of compositionally biased substitution matrices for comparing Plasmodium proteins
Background: The most common substitution matrices currently used (BLOSUM and PAM) are based on protein sequences with average amino acid distributions, thus they do not represent ...
Kevin Brick, Elisabetta Pizzi
ICSOC
2009
Springer
14 years 5 months ago
Evaluating Contract Compatibility for Service Composition in the SeCO2 Framework
Recently, the Software-as-a-Service (SaaS) model has been increasingly supported, becoming a major part of the new emerging cloud computing paradigms. Although SaaS exists in diff...
Marco Comerio, Hong Linh Truong, Flavio De Paoli, ...