4418 search results - page 275 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
191
click to vote
PERCOM
2003
ACM
16 years 6 months ago
2003
ACM
The Open Hypermedia model is based upon the separation of hypertext links from documents and treats them as separate entities. Distributed link services take this approach and imp...
178
click to vote
EUROMICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
Grid computing is a research and development topic, currently getting much attention. As a result, new ideas as well as research and project results are being produced at a very h...
171
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
Increasingly, high-assurance applications rely on autonomic systems to respond to changes in their environment. The inherent uncertainty present in the environment of autonomic sy...
174
click to vote
AUSDM
2007
Springer
16 years 25 days ago
2007
Springer
Most current ontology management systems concentrate on detecting usage-driven changes and representing changes formally in order to maintain the consistency. In this paper, we pr...
185
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: High-throughput molecular biology provides new data at an incredible rate, so that the increase in the size of biological databanks is enormous and very rapid. This sc...