4075 search results - page 351 / 815 » Modeling Distributed Algorithm Using B |
181
click to vote
HCW
1999
IEEE
15 years 11 months ago
1999
IEEE
: Networks of Workstations (NOW) have become an attractive alternative platform for high performance computing. Due to the commodity nature of workstations and interconnects and du...
202
click to vote
ENTCS
2007
15 years 6 months ago
2007
ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...
175
click to vote
RTCSA
2007
IEEE
16 years 1 months ago
2007
IEEE
An important property in a sensor network is the monitoring of temporal changes of hazardous situations such as forest fires. Rescue groups need to be aware of dynamic changes th...
177
click to vote
GECCO
2007
Springer
16 years 28 days ago
2007
Springer
Computation in biology and in conventional computer architectures seem to share some features, yet many of their important characteristics are very different. To address this, [1]...
208
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Knowledge of transcription factor-DNA binding patterns is crucial for understanding gene transcription. Numerous DNA-binding proteins are annotated as transcription fa...