Sciweavers

3919 search results - page 209 / 784
» Modelling Dynamic Forgetting in Distributed Information Syst...
Sort
View
FMCO
2004
Springer
120views Formal Methods» more  FMCO 2004»
15 years 12 months ago
A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...
Einar Broch Johnsen, Olaf Owe
HICSS
2009
IEEE
165views Biometrics» more  HICSS 2009»
16 years 1 months ago
Studying Knowledge Management System Success in System Administration
Significant temporal and monetary costs are associated with the development and implementation of a knowledge management system (KMS). To justify this investment, it is important ...
Nicole F. Velasquez, Alexandra Durcikova, Rajiv Sa...
RTSS
1997
IEEE
15 years 10 months ago
On-the-fly symbolic model checking for real-time systems
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....
Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine
VRML
1999
ACM
15 years 10 months ago
Utilising the Spatial Features of Cyberspace for Generating a Dynamic Museum Environment
This paper focuses on the aesthetic aspect of distributing multimedia data in cyberspace. By dynamically modifying the contents of a virtual art exhibition, we aim to generate a v...
Narushige Shiode, Tomoko Kanoshima
LCPC
2004
Springer
15 years 11 months ago
Power-Aware Scheduling for Parallel Security Processors with Analytical Models
Techniques to reduce power dissipation for embedded systems have recently come into sharp focus in the technology development. Among these techniques, dynamic voltage scaling (DVS)...
Yung-Chia Lin, Yi-Ping You, Chung-Wen Huang, Jenq ...