In this paper we introduce a descriptive temporal deontic logic based on causal theories. The underlying nonmonotonic temporal logic has two distinctive properties. First, it distinguishes between observations and interventions, which among others is used to distinguish between the existence and creation of deontic states such as obligations, permissions and prohibitions. Second, its explicit c...

The Octopus method packages a rich set of mostly graphical object-oriented (OO) modeling techniques that facilitate the creation of abstract, well-structured models of structure and behavior along a variety of modeling perspectives. The techniques provide good tools for managing the complexity in reactive, embedded systems. On the other hand, the lack of precise semantics for the modeling notat...

Online social networks have become major and driving phenomena on the web. In this talk we will address key modeling and algorithmic questions related to large online social networks. From the modeling perspective, we raise the question of whether there is a generative model for network evolution. The availability of time-stamped data makes it possible to study this question at an extremely fin...

Since its inception Language Action Perspective (LAP) has made significant progress in developing ontological and epistemological theories of information systems, new modeling approaches and tools, or new computer based coordination tools. In some sense LAP has come of age and can be regarded a specific computing movement, or a unique discourse and voice in the information technology revolution...

Novice innovators and entrepreneurs face the risk of designing naive business models. In fact, lack of viability in business models is perceived to be a major threat for the start-up success. Both the literature and the responses we gathered from experts in incubation present evidences of this problem. The LightCDD method helps entrepreneurs in the analysis, design and specification of start-up...

A data modeling perspective on computer support for collaborative writing is given. In particular, the problem is identified as a temporal database application. The solution proposed is based upon a design system architecture the repository of which uses the GENREG historical data model. GENREG uses event graphs to provide a group memory. Nodes represent the design objects (documents, reference...

Various recent developments in Collaborative Networks (CNs) attempt to model a number of aspects that are characterized by an inherent imprecision and incompleteness of information. In fact, collaborative networks are complex entities whose proper understanding, design, implementation, and management require the integration of different modeling perspectives and techniques. Perspectives related...

The modeling of plants is an active area of research in computer graphics and the geometrical modeling of veins is essential for obtaining plant images with a realistic appearance. The venation patterns determine the anisotropy of plant tissues, and affect the shadowing and masking of light incident on these tissues, hence the images. The current trend in the area of plant image generation is t...

Estimating a driver’s head pose is an important task in driver-assistance systems because it can provide information about where a driver is looking, thereby giving useful cues about the status of the driver (i.e., paying proper attention, fatigued, etc.). This study proposes a system for estimating the head pose using monocular images, which includes a novel use of backprojection. The system c...

The increasing market turbulence and the increasing need for the creation of competitive advantages force businesses to rethink the way they perform their business. This rethinking is often performed unstructured or fragmented, and they fail to consider the business as a whole. Therefore there is a need for making a diagnosis as a basis for redesigning the business. In order to perform this dia...