624 search results - page 118 / 125 » Repositories with Public Data about Software Development |
BMCBI
2010
13 years 7 months ago
2010
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
CSE
2009
IEEE
14 years 2 months ago
2009
IEEE
—A central challenge facing sensor network research and development is the difficulty in providing effective autonomous management capability. This is due to a large number of p...
IV
2005
IEEE
14 years 29 days ago
2005
IEEE
Visualization and knowledge of detailed pressure information can play a vital role in multimodal sensing of human movement. We have designed a highresolution pressure sensing floo...
ICICS
2004
Springer
14 years 23 days ago
2004
Springer
E-mail system has become one of the most important and popular Internet services. Instead of using traditional surface mail, we have the alternative of employing e-mail system whic...
EMSOFT
2003
Springer
14 years 18 days ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...