1391 search results - page 218 / 279 » Ensuring data integrity in storage: techniques and applicati... |
151
click to vote
ECBS
2006
IEEE
16 years 7 days ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
192
click to vote
DEDS
2000
15 years 6 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...
165
click to vote
EEE
2004
IEEE
15 years 10 months ago
2004
IEEE
e-Transformation technologies, for the past few years, have been evolving towards the goal of information integration and system interoperability. While there is no doubt that int...
202
click to vote
MOBISYS
2007
ACM
16 years 5 months ago
2007
ACM
The NEMO project is exploring the use of mobile sensor nodes to augment physical work artefacts in order to ensure compliance with health and safety regulations. In this paper we ...
156
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: The SEED integrates many publicly available genome sequences into a single resource. The database contains accurate and up-to-date annotations based on the subsystems ...