Sciweavers

851 search results - page 22 / 171
» Managing (Requirements) Evolutions of High Assurance Systems
Sort
View
BMCBI
2006
129views more  BMCBI 2006»
14 years 9 months ago
EGenBio: A Data Management System for Evolutionary Genomics and Biodiversity
Background: Evolutionary genomics requires management and filtering of large numbers of diverse genomic sequences for accurate analysis and inference on evolutionary processes of ...
Laila A. Nahum, Matthew T. Reynolds, Zhengyuan O. ...
EMSOFT
2007
Springer
15 years 3 months ago
A dynamic scheduling approach to designing flexible safety-critical systems
The design of safety-critical systems has typically adopted static techniques to simplify error detection and fault tolerance. However, economic pressure to reduce costs is exposi...
Luís Almeida, Sebastian Fischmeister, Madhu...
ISCA
2011
IEEE
269views Hardware» more  ISCA 2011»
14 years 1 months ago
Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
Mohit Tiwari, Jason Oberg, Xun Li 0001, Jonathan V...
CAEPIA
2003
Springer
15 years 3 months ago
A Model for Fuzzy Temporal Reasoning on a Database
In decision support systems for Intensive Care Units (ICU), the data management subsystem plays an essential role since the data have a heterogeneous origin. The temporal dimension...
Manuel Campos, José Palma, Roque Marí...
JIPS
2008
94views more  JIPS 2008»
14 years 9 months ago
Mobility Management Survey for Home-eNB Based 3GPP LTE Systems
: The specification of the Home Evolved NodeB (Home-eNB), which is a small base station designed for use in residential or small business environment, is currently ongoing in 3GPP ...
Hyoungwon Kwak, Poongup Lee, Yohan Kim, Navrati Sa...