Sciweavers

1865 search results - page 66 / 373
» A Rule-Based, Integrated Modelling Approach for Object-Orien...
Sort
View
APSEC
2009
IEEE
14 years 7 months ago
A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli
ASP
2003
Springer
15 years 3 months ago
Mappings Between Domain Models in Answer Set Programming
Integration of data is required when accessing multiple databases within an organization or on the WWW. Schema integration is required for database interoperability, but it is curr...
Stefania Costantini, Andrea Formisano, Eugenio G. ...
SIGMOD
2003
ACM
144views Database» more  SIGMOD 2003»
15 years 10 months ago
A Multi-paradigm Querying Approach for a Generic Multimedia Database Management System
To truly meet the requirements of multimedia database (MMDB) management, an integrated framework for modeling, managing and retrieving various kinds of media data in a uniform way...
Ji-Rong Wen, Qing Li, Wei-Ying Ma, HongJiang Zhang
CAISE
2005
Springer
15 years 3 months ago
Ontological Modelling of Information Systems from Bunge's Contributions
The aim of this paper is to determine aspects to be considered in Bunge’s ontological models in order to obtain an Integrated Ontological Model of Information Systems (IOMIS). Th...
Susana I. Herrera, Diana Pallioto, Gregorio N. Tka...
SOFSEM
2007
Springer
15 years 3 months ago
Separation of Concerns and Consistent Integration in Requirements Modelling
Due to their increasing complexity, design of software systems is not becoming easier. Furthermore, modern applications ranging from enterprise to embedded systems require very hig...
Xin Chen, Zhiming Liu, Vladimir Mencl