development of economic institutions. Economic activities during the Soviet regime were coordinated by a central authority. These coordinating mechanisms were disrupted during the transition period, l...
development of economic institutions. Economic activities during the Soviet regime were coordinated by a central authority. These coordinating mechanisms were disrupted during the transition period, l...
. We present a Control Flow Analysis (CFA) for the Safe Ambients, a variant of the calculus of Mobile Ambients. The analysis renes [12] and computes an approximation of the run-time topology of proces...
. A paper document processing system is an information system component which transforms information on printed or handwritten documents into a computer-revisable form. In intelligent systems for pape...
What is the role of technology in an on-line community of practices? How is the technology used and perceived in the construction of a community? In this paper we will try to answer these questions by...
. We present an extension of Logic Programming (LP) which, in addition to ordinary LP clauses, also includes integrity constraints, explicit representation of disjunction in the bodies of clauses and ...
. We present an extension of Logic Programming (LP) which, in addition to ordinary LP clauses, also includes integrity constraints, explicit representation of disjunction in the bodies of clauses and ...