4584 search results - page 830 / 917 » interact 2007 |
115
Voted
SDL
2007
15 years 11 days ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
ACL
2006
15 years 10 days ago
2006
The LOGON MT demonstrator assembles independently valuable general-purpose NLP components into a machine translation pipeline that capitalizes on output quality. The demonstrator ...
90
Voted
APBC
2004
15 years 10 days ago
2004
Biopathway databases have been developed, such as KEGG and EcoCyc, that compile interaction structures of biopathways together with biological annotations. However, these biopathw...
74
Voted
BIOCOMP
2006
15 years 10 days ago
2006
In healthy eukaryotic cells, mitochondria have an outer membrane that surrounds a complex inner membrane structure [7,8]. Cytochrome c is found in the space between the two membra...
96
Voted
CASCON
2006
15 years 10 days ago
2006
Coupling measures have important applications in software development and maintenance. They are used to reason about the structural complexity of software and have been shown to p...