2004 search results - page 154 / 401 » Comparison of Model Checking Tools for Information Systems |
124
click to vote
PSB
2001
15 years 6 months ago
2001
We consider the problem of extracting, manipulating, and managing biological pathways, especially protein-protein interaction pathways. We discuss here the Protein Interaction Ext...
123
click to vote
IWANN
2007
Springer
15 years 11 months ago
2007
Springer
Approximately 50% of all patients with intraocular melanoma die of metastatic disease, despite successful treatment of the primary tumour. The main factors associated with mortalit...
191
click to vote
CHI
2011
ACM
14 years 8 months ago
2011
ACM
Application programming interfaces (APIs) are the interfaces to existing code structures, such as widgets, frameworks, or toolkits. Therefore, they very much do have an impact on ...
154
click to vote
TCAD
2008
15 years 5 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
159
click to vote
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
In this paper, the concept of object-oriented embedding (OOE) is introduced into information hiding in general and particularly to steganography which is the science that involves...