Results 1 
7 of
7
Channel Sensitivity in Reactive Systems
 Proc. Int’l Conf. on High Performance Computing (HiPC), Embedded Systems Workshop
, 2001
"... Channel sensitivity in reactive systems arises when the system interacts over multiple interaction channels simultaneously and it is important to distinguish between the many channels. While the design and verification of reactive systems is complex and not amenable to traditional paradigms of induc ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
Channel sensitivity in reactive systems arises when the system interacts over multiple interaction channels simultaneously and it is important to distinguish between the many channels. While the design and verification of reactive systems is complex and not amenable to traditional paradigms of inductive reasoning, channel sensitivity adds an additional dimension of complexity. In this paper, we provide an introduction to channel sensitivity and look into the kinds of translational mismatches that could occur in designing a channel sensitive model from a set of functionality specifications.
Dialogs and Interaction Schema: Characterizing the Interaction Space of Information Systems
"... Information systems design concern modeling systems that are dynamic in nature. A dynamic system essentially has two dimensions of concern  static structure and dynamic behavior. The existence of dynamics  or interactions among parts of the system distinguish a dynamic system from a heap or coll ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
Information systems design concern modeling systems that are dynamic in nature. A dynamic system essentially has two dimensions of concern  static structure and dynamic behavior. The existence of dynamics  or interactions among parts of the system distinguish a dynamic system from a heap or collection of parts. Specification and management of the static aspects of an information system like the data and metadata have been fairly well addressed by existing paradigms. However an understanding of the dynamic nature of information systems is still low. Currently most paradigms model behavioral properties above an existing structural model, resulting in what may be called "entity centric" modeling. Such a kind of modeling would neglect properties that can be attributed to behavioral processes themselves, and relationships that might exist among such processes. In this paper, we address behavioral modeling by first considering system behavior to be in the form of an abstract "interaction...
The Notion of the Interaction Space of an Information System
 in Proceedings of CAISE'00 Doctoral Symposium
, 2000
"... Information systems' (IS) design concerns modeling systems that are dynamic in nature. A dynamic system essentially has two dimensions of concern  static structure and dynamic behavior. The existence of dynamics  or interactions among parts of the system distinguish a dynamic system from a he ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Information systems' (IS) design concerns modeling systems that are dynamic in nature. A dynamic system essentially has two dimensions of concern  static structure and dynamic behavior. The existence of dynamics  or interactions among parts of the system distinguish a dynamic system from a heap or collection of parts. Specification and management of the static aspects of an information system like the data and metadata have been fairly well addressed by existing paradigms. However, an understanding of the dynamic nature of information systems is still low. Currently most paradigms model behavioral properties above an existing structural model, resulting in what may be called "entity centric" modeling. Such a kind of modeling would neglect properties that can be attributed to behavioral processes themselves, and relationships that might exist among such processes. This thesis argues that the dynamics of an information system are best managed by explicitly characterizing...
Information Systems = Databases + Interaction: Towards Principles of Information System Design
 In Proceedings of ER 2000
, 2000
"... Information system (IS) design concerns different activities like conceptual modeling, database design, business process modeling and user modeling. However, despite the presence of an active research community that studies conceptual models for information systems, this term still lacks precise ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Information system (IS) design concerns different activities like conceptual modeling, database design, business process modeling and user modeling. However, despite the presence of an active research community that studies conceptual models for information systems, this term still lacks precise formal underpinnings. Unlike for databases, there is no agreement on what constitutes "principles of information systems." It would hence be desirable to provide formal underpinnings for information system design and to position it with respect to database design. At first glance, it is not clear that the principles underlining the study of information systems should be different than those for databases. Any significantly advanced IS incorporates some type of a database. As a consequence, information system design addresses a number of database issues like conceptual modeling of data elements, metadata management, etc. On the other hand, any useful database system is actually an info...
Infinite Computation, Coinduction and Computational Logic
"... Abstract. We give an overview of the coinductive logic programming paradigm. We discuss its applications to modeling ωautomata, model checking, verification, nonmonotonic reasoning, developing SAT solvers, etc. We also discuss future research directions. 1 ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Abstract. We give an overview of the coinductive logic programming paradigm. We discuss its applications to modeling ωautomata, model checking, verification, nonmonotonic reasoning, developing SAT solvers, etc. We also discuss future research directions. 1
Interactive Computation: Stepping Stone in the Pathway From Classical to Developmental Computation ∗
"... This paper reviews and extends previous work on the domaintheoretic notion of Machine Development. It summarizes the concept of Developmental Computation and shows how Interactive Computation can be understood as a stepping stone in the pathway from Classical to Developmental Computation. A critica ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
This paper reviews and extends previous work on the domaintheoretic notion of Machine Development. It summarizes the concept of Developmental Computation and shows how Interactive Computation can be understood as a stepping stone in the pathway from Classical to Developmental Computation. A critical appraisal is given of Classical Computation, showing in which ways its shortcomings tend to restrict the possible evolution of real computers, and how Interactive and Developmental Computation overcome such shortcomings. A formal conceptual framework is sketched, in order to frame the future development of the formal theory of Developmental Computation. Finally, the current frontier of the work on Developmental Computation is briefly exposed. 1
QUANTUM MECHANICS
, 2003
"... I consider in this book a formulation of Quantum Mechanics, which is often abbreviated as QM. Usually QM is formulated based on the notion of time and space, both of which are thought a priori given quantities or notions. However, when we try to define the notion of velocity or momentum, we encounte ..."
Abstract
 Add to MetaCart
I consider in this book a formulation of Quantum Mechanics, which is often abbreviated as QM. Usually QM is formulated based on the notion of time and space, both of which are thought a priori given quantities or notions. However, when we try to define the notion of velocity or momentum, we encounter a difficulty as we will see in chapter 1. The problem is that if the notion of time is given a priori, the velocity is definitely determined when given a position, which contradicts the uncertainty principle of Heisenberg. We then set the basis of QM on the notion of position and momentum operators as in chapter 2. Time of a local system then is defined approximately as a ratio x/v  between the space coordinate x and the velocity v, where x, etc. denotes the absolute value or length of a vector x. In this formulation of QM, we can keep the uncertainty principle, and time is a quantity that does not have precise values unlike the usually supposed notion of time has. The feature of local time is that it is a time proper to each local system, which is defined as a finite set of quantum mechanical particles. We now have an infinite number of local times that are unique and proper to each local system.