169 search results - page 20 / 34 » Feature Specification and Static Analysis for Interaction Re... |
BMCBI
2007
13 years 7 months ago
2007
Background: The recent increase in the use of high-throughput two-hybrid analysis has generated large quantities of data on protein interactions. Specifically, the availability of...
PPDP
2005
Springer
14 years 1 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
WETICE
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper, we present emerging team forms, which are classified into Nimble, Virtual, and Mobile teams. Based on this classification, we present a systematic analysis of speci...
IFIP
2010
Springer
14 years 16 days ago
2010
Springer
This work presents a study about the use of Laban Movement Analysis (LMA) as a robust tool to describe human basic behavior patterns, to be applied in human-machine interaction. LM...
JSW
2008
13 years 7 months ago
2008
- In the Software Product Line approach, product configuration is a key activity in which stakeholders choose features for a product. This activity is critical in the sense that ca...