11063 search results - page 1847 / 2213 » On the existence of universal models |
175
click to vote
CSB
2005
IEEE
16 years 13 days ago
2005
IEEE
The Mouse Genome Informatics (MGI) Database at The Jackson Laboratory provides a comprehensive public resource about the laboratory mouse. MGI curated data types include gene repr...
173
click to vote
CSFW
2005
IEEE
16 years 13 days ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
172
click to vote
DEXAW
2005
IEEE
16 years 13 days ago
2005
IEEE
Ontologies provide a means of modelling and representing a knowledge domain. Such representation, already used in purpose-built distributed information systems, can also be of gre...
200
click to vote
DEXAW
2005
IEEE
16 years 13 days ago
2005
IEEE
We describe a methodology for creating composite web services, a key ingredient in spatial data infrastructure (SDI) applications, which we demonstrate on an emergency management ...
157
click to vote
ECRTS
2005
IEEE
16 years 13 days ago
2005
IEEE
In previous work, we presented a tight approximate response-time analysis for tasks with offsets. While providing a tight bound on response times, the tight analysis exhibits simi...