483 search results - page 26 / 97 » A Framework for Web-based Research Support Systems |
SPIN
2000
Springer
15 years 1 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
BMCBI
2010
14 years 10 months ago
2010
Background: Mass spectrometry (MS) coupled with online separation methods is commonly applied for differential and quantitative profiling of biological samples in metabolomic as w...
BMCBI
2007
14 years 10 months ago
2007
Background: The huge amount of biological information, its distribution over the Internet and the heterogeneity of available software tools makes the adoption of new data integrat...
DATE
2007
IEEE
15 years 4 months ago
2007
IEEE
Chip-multiprocessors are quickly becoming popular in embedded systems. However, the practical success of CMPs strongly depends on addressing the difficulty of multithreaded appli...
EDOC
2003
IEEE
15 years 3 months ago
2003
IEEE
One of the most significant limitations of current middleware platforms, both commercial and research, is that they typically support only a small, pre-defined, set of fundamental...