1541 search results - page 101 / 309 » Interaction Analysis in Aspect-Oriented Models |
CHI
2003
ACM
14 years 8 months ago
2003
ACM
It is accepted that changes in technology, work practices and the general socio-economic environment affect the way we plan and perform tasks. Support, opportunity and pressure fo...
ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
FLAVERS is a finite-state verification approach that allows an analyst to incrementally add constraints to improve the precision of the model of the system being analyzed. Except ...
BMCBI
2010
13 years 5 months ago
2010
Background: As protein interactions mediate most cellular mechanisms, protein-protein interaction networks are essential in the study of cellular processes. Consequently, several ...
ICNSC
2007
IEEE
14 years 2 months ago
2007
IEEE
– Unmanned ground vehicles are widely used in industries where repetitive tasks or high risk missions are required. Such vehicles usually operate on soft deformable terrains and ...
ISCAS
2006
IEEE
14 years 1 months ago
2006
IEEE
—On-die capacitances interact with the inductance and resistance of the power distribution network to supply electrical charge. A distributed model is generally required to analy...