Sciweavers

3142 search results - page 19 / 629
» A formal approach for designing CORBA based applications
Sort
View
FM
1999
Springer
111views Formal Methods» more  FM 1999»
13 years 11 months ago
Developing BON as an Industrial-Strength Formal Method
Abstract. The emerging Unified Modelling Language has been touted as merging the best features of existing modelling languages, and has been adopted by leading companies and vendo...
Richard F. Paige, Jonathan S. Ostroff
SAC
2010
ACM
14 years 24 days ago
A semantic web-based approach for personalizing news
Hermes is an ontology-based framework for building news personalization services. This framework consists of a news classification phase, which classifies the news, a knowledge ...
Kim Schouten, Philip Ruijgrok, Jethro Borsje, Flav...
COOPIS
2002
IEEE
14 years 14 days ago
Formal Ontology Engineering in the DOGMA Approach
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
Mustafa Jarrar, Robert Meersman
ACJ
2002
122views more  ACJ 2002»
13 years 7 months ago
Product-Based Design of Business Processes Applied within the Financial Services
Business Process Reengineering (BPR) is an important instrument to boost the performance of business processes. In this paper, the Product-Based Design method is presented that su...
Hajo A. Reijers
FORTE
1998
13 years 8 months ago
Hardware - Software Co-design of embedded telecommunication systems using multiple formalisms for application development
: In this paper a co-design methodology based on multiformalism modelling is presented. It defines a platform that integrates different notations and, the necessary mechanisms to h...
Nikos S. Voros, S. K. Tsasakou, C. Valderrama, S. ...