Sciweavers

13977 search results - page 791 / 2796
» Evolution in complex systems
Sort
View
IPPS
1999
IEEE
15 years 12 months ago
Tailor-Made Operating Systems for Embedded Parallel Applications
This paper presents the Pure/Epos approach to deal with the high complexity of adaptable operating systems and also to diminish the distance between application and operating syste...
Antônio Augusto Fröhlich, Wolfgang Schr...
RSP
1999
IEEE
15 years 12 months ago
System Design Validation Using Formal Models
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
Peter Henderson, Robert John Walters
DEXAW
1998
IEEE
82views Database» more  DEXAW 1998»
15 years 12 months ago
User Authentication in Multidatabase Systems
The aspect of security needs more consideration in the area of architectures for multidatabase systems. Particularly, the authentication of users which is a main prerequisite for ...
Eyk Hildebrandt, Gunter Saake
HASE
1997
IEEE
15 years 12 months ago
Analytical Modelling and Evaluation of Phased-Mission Systems for Space Applications
This paper deals with the modelling and evaluation of mission-phased systems devoted to space applications. We propose a two level hierarchical method that allows to model such sy...
Andrea Bondavalli, Ivan Mura, Manuela Nelli
AAAI
2006
15 years 9 months ago
Building Explainable Artificial Intelligence Systems
As artificial intelligence (AI) systems and behavior models in military simulations become increasingly complex, it has been difficult for users to understand the activities of co...
Mark G. Core, H. Chad Lane, Michael van Lent, Dave...