Sciweavers

2844 search results - page 175 / 569
» A Comparison of Partitioning Operating Systems for Integrate...
Sort
View
COMPSAC
1997
IEEE
15 years 10 months ago
Model-integrated system development: models, architecture, and process
Many large software systems are tightly integrated with their physical environments and must be adapted when their environment changes. Typically, software development methodologi...
Gabor Karsai, Amit Misra, Janos Sztipanovits, &Aac...
ICFEM
1997
Springer
15 years 10 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
ICDE
1998
IEEE
180views Database» more  ICDE 1998»
16 years 7 months ago
The Alps at Your Fingertips: Virtual Reality and Geoinformation Systems
We advocate a desktop virtual reality (VR) interface to a geographic information system (GIS). The navigational capability to explore large topographic scenes is a powerful metaph...
Renato Pajarola, Thomas Ohler, Peter Stucki, Korne...
BMCBI
2006
202views more  BMCBI 2006»
15 years 6 months ago
DWARF - a data warehouse system for analyzing protein families
Background: The emerging field of integrative bioinformatics provides the tools to organize and systematically analyze vast amounts of highly diverse biological data and thus allo...
Markus Fischer, Quan K. Thai, Melanie Grieb, J&uum...
RTS
2006
99views more  RTS 2006»
15 years 6 months ago
Combination of clock-state and clock-rate correction in fault-tolerant distributed systems
This paper proposes the integration of internal and external clock synchronization by a combination of a fault-tolerant distributed algorithm for clock state correction with a cent...
Hermann Kopetz, Astrit Ademaj, Alexander Hanzlik