Zobrazeno 1 - 10
of 124
pro vyhledávání: '"Vassev, Emil"'
Autor:
Vassev, Emil Iordanov
During the conceptual design stage of a building, the design team often has to make critical decisions with significant impact on energy performance and indoor comfort conditions. The design and selection of fenestration systems and their control pla
Externí odkaz:
http://spectrum.library.concordia.ca/8681/1/MR10296.pdf
Autor:
Vassev, Emil, Mokhov, Serguei A.
Publikováno v:
J. Trans. on Comput. Sci. XV, Springer-Verlag,130-157
In this paper, we discuss our research towards developing special properties that introduce autonomic behavior in pattern-recognition systems. In our approach we use ASSL (Autonomic System Specification Language) to formally develop such properties f
Externí odkaz:
http://arxiv.org/abs/1112.3972
Autor:
Vassev, Emil, Hinchey, Mike
Publikováno v:
E. Vassev and M. Hinchey, Developing Experimental Models for NASA Missions with ASSL, M. Bujorianu and M. Fisher (Eds.): Workshop on Formal Methods for Aerospace (FMA'09), EPTCS 20, 2010, pp. 88--94
NASA's new age of space exploration augurs great promise for deep space exploration missions whereby spacecraft should be independent, autonomous, and smart. Nowadays NASA increasingly relies on the concepts of autonomic computing, exploiting these t
Externí odkaz:
http://arxiv.org/abs/1003.0396
Autor:
Vassev, Emil
LXG is a simple Pascal-like language. It is a functional programming language developed for studying compiler design and implementation. The language supports procedure and variable declarations, but no classes. This paper reports the design and impl
Externí odkaz:
http://arxiv.org/abs/1001.1022
Autor:
Vassev, Emil
The objective of this article is to provide for the reader a basic description of all the steps involved in the COM object life-cycle process. COM is a software technology and process performer. The first section briefly introduces the Component Obje
Externí odkaz:
http://arxiv.org/abs/0912.4062
Autor:
Vassev, Emil
When we talk about databases there have always been problems concerning data synchronization. The latter is a technique for maintaining consistency among different copies of data (often called replicas). In general, there is no universal solution to
Externí odkaz:
http://arxiv.org/abs/0912.2134
This report presents results of our endeavor towards developing a failure-recovery variant of a CORBA-based bank server that provides fault tolerance features through message logging and checkpoint logging. In this group of projects, three components
Externí odkaz:
http://arxiv.org/abs/0911.3092