2116 search results - page 210 / 424 » Resource Analysis by Sup-interpretation |
173
click to vote
CL
2007
Springer
15 years 4 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
141
click to vote
JIB
2006
15 years 4 months ago
2006
In biomedical research, interpretation of microarray data requires confrontation of data and knowledge from heterogeneous resources, either in the biomedical domain or in genomics...
127
click to vote
MCS
2008
Springer
15 years 4 months ago
2008
Springer
The purpose of this paper is to quantify the efficiency with which Australian universities utilise their teaching resources. The study estimates the cost efficiency of 36 universi...
166
click to vote
NAR
2007
15 years 3 months ago
2007
The recent development of microarray technology provided unprecedented opportunities to understand the genetic basis of aging. So far, many microarray studies have addressed aging...
150
click to vote
NOMS
2010
IEEE
15 years 2 months ago
2010
IEEE
—Malware and botnets pose a steady and growing threat to network security. Therefore, packet analysis systems examine network traffic to detect active botnets and spreading worm...