Sciweavers

509 search results - page 70 / 102
» A Heterogeneous Approach to UML Semantics
Sort
View
115
Voted
HPCC
2007
Springer
15 years 7 months ago
Resource Aggregation and Workflow with Webcom
Efficient exploitation of the aggregate resources available to a researcher is a challenging and real problem. The challenge becomes all the greater when researchers who collaborat...
Oisín Curran, Paddy Downes, John Cunniffe, ...
123
Voted
EUROMICRO
1998
IEEE
15 years 8 months ago
Design Correctness of Digital Systems
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
Corrie Huijs
122
Voted
IJAOSE
2007
129views more  IJAOSE 2007»
15 years 3 months ago
Ontology negotiation: goals, requirements and implementation
Communication in heterogeneous multi agent systems is hampered by the lack of shared ontologies. Ontology negotiation offers an integrated approach that enables agents to gradual...
Jurriaan van Diggelen, Robbert-Jan Beun, Frank Dig...
118
Voted
IJCAT
2010
93views more  IJCAT 2010»
15 years 2 months ago
FAETON: Form Analysis and Extraction Tool for ONtology construction
Abstract: This paper presents a method for semi-automatically building tailored application ontologies from a set of data acquisition forms. Such ontologies are intended to facilit...
Rafael Berlanga Llavori, Ernesto Jiménez-Ru...
155
Voted
CISIS
2009
IEEE
15 years 1 months ago
Making Expert Knowledge Explicit to Facilitate Tool Support for Integrating Complex Information Systems in the ATM Domain
The capability to provide a platform for flexible business services in the Air Traffic Management (ATM) domain is both a major success factor for the ATM industry and a challenge ...
Thomas Moser, Richard Mordinyi, Alexander Mikula, ...