AbstractHammurabi is a software application designed to help the UNIX system administrator to evaluate better the consequences of the actions he/she carries out, in order to maintain the system and to make it change. In this paper, we describe the implementation of Hammurabi's inference engine. This engine is a multiactor Prolog-like engine. The actors have, on the one hand, the ability to spy the events occurring inside the whole machine (inside the engine, and inside the UNIX OS), and on the other hand, the ability to forbid or to freeze some events. This ability is used as a synchronization mechanism. In the first part of this paper, we describe the data representation. In its second part, we describe the implementation of the spying mec...
We present a case of Streptococcus equi subsp. equi meningitis in a young boy. This case represents ...
AbstractSubtyping is a central notion in object-oriented programming. In this paper we investigate h...
This article outlines the relative orbit control (guidance algorithm and its preliminary performance...
AbstractIn this paper we look at the phenomenon of autocomputability of infinite binary sequences. W...
We show how SPIN is applied to analyse the behaviour of a real software artifact - feature interacti...
AbstractETI is an Electronic Tool Integration platform designed for project-oriented, domain-specifi...
One hundred and twenty-one clinical isolates of Acinetobacter baumannii recovered from the intensive...
U radu autor istražuje što bi u Marulića mogao značiti izraz "contra philosophos" (protiv filozofa) ...
AbstractFirst against a conventional total-correctness background of wp semantics, we define a small...
BackgroundDuodenal webs usually give rise to symptoms of gastric outlet obstruction in infancy, but ...
The Kind Description Language (KDL) is a language used for describing the interface and behavior of ...
AbstractThe refinement calculus is a well-established theory for translating specifications to progr...
BackgroundLiver resection for secondary malignancy has become the standard of care in appropriately ...
AbstractThe aim of this paper is to propose a unified analysis of the relationships between the noti...
AbstractMaude's language design and implementation make systematic use of the fact that rewriting lo...
We present a case of Streptococcus equi subsp. equi meningitis in a young boy. This case represents ...
AbstractSubtyping is a central notion in object-oriented programming. In this paper we investigate h...
This article outlines the relative orbit control (guidance algorithm and its preliminary performance...
AbstractIn this paper we look at the phenomenon of autocomputability of infinite binary sequences. W...
We show how SPIN is applied to analyse the behaviour of a real software artifact - feature interacti...
AbstractETI is an Electronic Tool Integration platform designed for project-oriented, domain-specifi...
One hundred and twenty-one clinical isolates of Acinetobacter baumannii recovered from the intensive...
U radu autor istražuje što bi u Marulića mogao značiti izraz "contra philosophos" (protiv filozofa) ...
AbstractFirst against a conventional total-correctness background of wp semantics, we define a small...
BackgroundDuodenal webs usually give rise to symptoms of gastric outlet obstruction in infancy, but ...
The Kind Description Language (KDL) is a language used for describing the interface and behavior of ...
AbstractThe refinement calculus is a well-established theory for translating specifications to progr...
BackgroundLiver resection for secondary malignancy has become the standard of care in appropriately ...
AbstractThe aim of this paper is to propose a unified analysis of the relationships between the noti...
AbstractMaude's language design and implementation make systematic use of the fact that rewriting lo...
We present a case of Streptococcus equi subsp. equi meningitis in a young boy. This case represents ...
AbstractSubtyping is a central notion in object-oriented programming. In this paper we investigate h...
This article outlines the relative orbit control (guidance algorithm and its preliminary performance...