Sciweavers

4209 search results - page 576 / 842
» Software Change and Evolution
Sort
View
BMCBI
2006
107views more  BMCBI 2006»
15 years 6 months ago
A reinforced merging methodology for mapping unique peptide motifs in members of protein families
Background: Members of a protein family often have highly conserved sequences; most of these sequences carry identical biological functions and possess similar three-dimensional (...
Hao-Teng Chang, Tun-Wen Pai, Tan-Chi Fan, Bo-Han S...
AMMA
2009
Springer
16 years 1 months ago
Impact of Misalignment of Trading Agent Strategy across Multiple Markets
We examine the effect of a market pricing policy designed to attract high-valued traders in a multiple market context using JCAT software. Our experiments show that a simple change...
Jung-woo Sohn, Sooyeon Lee, Tracy Mullen
IPPS
2007
IEEE
16 years 29 days ago
On the Path to Enable Multi-scale Biomolecular Simulations on PetaFLOPS Supercomputer with Multi-core Processors
1 Biological processes occurring inside cell involve multiple scales of time and length; many popular theoretical and computational multi-scale techniques utilize biomolecular simu...
Sadaf R. Alam, Pratul K. Agarwal
FSEN
2007
Springer
16 years 25 days ago
Is Your Security Protocol on Time ?
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
Gizela Jakubowska, Wojciech Penczek
AIIA
2005
Springer
16 years 6 days ago
Agent-Based Management of Responsive Environments
Responsive environments are physical surroundings whose components change their behaviour to accommodate the presence of people as well as other components. We describe a means to ...
Flávio S. Corrêa da Silva, Wamberto W...