5457 search results - page 1057 / 1092 » Software Component Independence |
130
click to vote
FMSD
2007
15 years 13 days ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
116
Voted
IJMMS
2007
15 years 12 days ago
2007
The investigation of innovative Human–Computer Interfaces (HCI) provides a challenge for future interaction research and development. Brain–Computer Interfaces (BCIs) exploit ...
127
click to vote
IPM
2007
15 years 11 days ago
2007
We consider a network of autonomous peers forming a logically global but physically distributed search engine, where every peer has its own local collection generated by independe...
98
Voted
BMCBI
2005
15 years 11 days ago
2005
Background: This paper describes an automated method for finding clusters of interconnected proteins in protein interaction networks and retrieving protein annotations associated ...
102
Voted
BMCBI
2005
15 years 11 days ago
2005
Background: Good statistical models for analyzing and simulating multilocus recombination data exist but are not accessible to many biologists because their use requires reasonabl...