Sciweavers

800 search results - page 12 / 160
» Towards a formalization of budgets
Sort
View
FOIS
2010
14 years 11 months ago
Towards a formal ontology for history of church administration
Abstract. The paper presents preliminary results in the area of ontological engineering for historical research. Historical information systems are still in the initial stage of de...
Pawel Garbacz, Robert Trypuz, Bogumil Szady, Piotr...
IJSEKE
2006
138views more  IJSEKE 2006»
14 years 10 months ago
Towards Automatic Establishment of Model Dependencies Using Formal Concept Analysis
tion and alteration of software models at different levels of abstraction. These modifications are usually performed independently, but the objects to which they are applied to, ar...
Igor Ivkovic, Kostas Kontogiannis
ISEMANTICS
2010
14 years 8 months ago
Towards an approach for formalizing the supply chain operations
Reference models play an important role in the knowledge management of the various complex collaboration domains (such as Supply Chain Networks). However, they often show a lack o...
Milan Zdravkovic, Hervé Panetto, Miroslav T...
JUCS
2000
102views more  JUCS 2000»
14 years 10 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
ACSD
2007
IEEE
97views Hardware» more  ACSD 2007»
15 years 4 months ago
Towards Hilbertian Formal Methods
Marius C. Bujorianu, Manuela L. Bujorianu