1995 search results - page 74 / 399 » From Data Flow Networks to Process Algebras |
191
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Systematic approaches for identifying proteins involved in different types of cancer are needed. Experimental techniques such as microarrays are being used to characte...
117
click to vote
NOMS
2006
IEEE
15 years 10 months ago
2006
IEEE
— While BGP routing datasets, consisting of raw routing data, are freely available and easy to obtain, extracting any useful information is tedious. Currently, researcher and net...
129
click to vote
CONEXT
2007
ACM
15 years 8 months ago
2007
ACM
Data-ferrying disconnection-tolerant networks allow remote rural areas to access the Internet at very low cost, making them viable alternatives to more expensive access technologi...
143
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
107
click to vote
TELETRAFFIC
2007
Springer
15 years 10 months ago
2007
Springer
We present an economically efficient framework for provision of essential input for QoS-aware IP network planning. Firstly, we define a process for reuse of network accounting data...