Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive ontologi...
The paper presents in brief a project aimed at the development of a methodology and corresponding software tools intended for building of proper environments giving up means for s...
Maria Nisheva-Pavlova, Pavel Pavlov, Nikolay Marko...
: Iridescent colors of optical disks are caused by light diffraction from their surface microstructure. This paper proposes a diffractive illumination model for optical disks based...
Yinlong Sun, F. David Fracchia, Mark S. Drew, Thom...
This research throws light on to the role of social issues in developing a successful information system. In a case study of a community health organization, we describe how IT ma...
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...