Sciweavers

27 search results - page 2 / 6
» nca 2008
Sort
View
NCA
2008
IEEE
13 years 11 months ago
An Abstract Channel Specification and an Algorithm Implementing It Using Java Sockets
Chryssis Georgiou, Peter M. Musial, Alexander A. S...
NCA
2008
IEEE
13 years 11 months ago
Persistent Logical Synchrony
Francesc D. Muñoz-Escoí, Rubé...
BMCBI
2008
129views more  BMCBI 2008»
13 years 4 months ago
Motif-directed network component analysis for regulatory network inference
Background: Network Component Analysis (NCA) has shown its effectiveness in discovering regulators and inferring transcription factor activities (TFAs) when both microarray data a...
Chen Wang, Jianhua Xuan, Li Chen, Po Zhao, Yue Wan...
NCA
2008
IEEE
13 years 11 months ago
On the Application of Formal Methods for Specifying and Verifying Distributed Protocols
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
Marina Gelastou, Chryssis Georgiou, Anna Philippou