10038 search results - page 1739 / 2008 » Model Checking for Managers |
178
Voted
BMCBI
2008
15 years 6 months ago
2008
Background: The integration of biomedical information is essential for tackling medical problems. We describe a data model in the domain of flow cytometry (FC) allowing for massiv...
190
Voted
BMCBI
2008
15 years 6 months ago
2008
Background: In systems biology, and many other areas of research, there is a need for the interoperability of tools and data sources that were not originally designed to be integr...
175
Voted
BMCBI
2007
15 years 6 months ago
2007
nd: A key abstraction in representing proteomics knowledge is the notion of unique identifiers for individual entities (e.g. proteins) and the massive graph of relationships among...
187
click to vote
ISF
2008
15 years 6 months ago
2008
Abstract Many security problems are caused by vulnerabilities hidden in enterprise computer networks. It is very important for system administrators to have knowledge about the sec...
176
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
: In the industry, numerous commercial packages provide tools to introduce, and analyse human behaviour in the product's environment (for maintenance, ergonomics...), thanks t...