Sciweavers

1026 search results - page 106 / 206
» Software Engineering for Self-Adaptive Systems: A Research R...
Sort
View
COMPSAC
2002
IEEE
15 years 11 months ago
A Structured Approach to Handling On-Line Interface Upgrades
The Integration of complex systems out of existing systems is an active area of research and development. There are many practical situations in which the interfaces of the compon...
Cliff B. Jones, Alexander B. Romanovsky, Ian Welch
COMPSAC
2002
IEEE
15 years 11 months ago
A File Naming Scheme Using Hierarchical-Keywords
In this paper, we propose a file naming scheme, called HK (Hierarchical-Keyword-based) naming. In file systems, hierarchical naming has been used for these several decades. As t...
Harumasa Tada, Osamu Honda, Masahiro Higuchi
COMPSAC
1997
IEEE
15 years 10 months ago
DRDB: a distributed real-time database server for high-assurance time-critical applications
Many real-time database systems are now being used in safety-critical applications, in which human lives or expensive machinery may be at stake. Transactions in real-time database...
Sang Hyuk Son, Robert C. Beckinger, David A. Baker
FOSSACS
2008
Springer
15 years 8 months ago
Robust Analysis of Timed Automata via Channel Machines
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
Patricia Bouyer, Nicolas Markey, Pierre-Alain Reyn...
DELOS
2000
15 years 7 months ago
Challenging Ubiquitous Inverted Files
Stand-alone ranking systems based on highly optimized inverted file structures are generally considered `the' solution for building search engines. Observing various developm...
Arjen P. de Vries