403 search results - page 22 / 81 » Integrating Z into Large Projects Tools and Techniques |
BMCBI
2006
14 years 9 months ago
2006
Background: In recent times, there has been an exponential rise in the number of protein structures in databases e.g. PDB. So, design of fast algorithms capable of querying such d...
111
click to vote
DEDS
2000
14 years 9 months ago
2000
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...
SDM
2004
SIAM
14 years 11 months ago
2004
SIAM
Databases are a key technology for molecular biology which is a very data intensive discipline. Since molecular biological databases are rather heterogeneous, unification and data...
ICSM
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper investigates how maintainability can be established in system integration (SI) projects where maintainers have no direct access to the source code of the third-party so...
VIS
2009
IEEE
15 years 10 months ago
2009
IEEE
Confocal microscopy is widely used in neurobiology for studying the three-dimensional structure of the nervous system. Confocal image data are often multi-channel, with each channe...