Sciweavers

1429 search results - page 58 / 286
» An Overview of the Annex System
Sort
View
111
Voted
LPNMR
2005
Springer
15 years 6 months ago
Nonmonotonic Reasoning in FLORA-2
FLORA-2 is an advanced knowledge representation system that integrates F-logic, HiLog, and Transaction Logic. In this paper we give an overview of the theoretical foundations of th...
Michael Kifer
CAISE
2004
Springer
15 years 6 months ago
Ontology-based Semantic Infrastructure for Service Interoperability
In this paper, we provide a general overview of our recent research contributions, with focus on the proposed approach for building service ontologies to serve as an interoperabili...
Devis Bianchini, Valeria De Antonellis, Michele Me...
97
Voted
COMPSAC
2004
IEEE
15 years 4 months ago
WS-FIT: A Tool for Dependability Analysis of Web Services
This paper provides an overview of fault injection techniques and their applicability to testing SOAP RPC based web service systems. We also give a detailed example of the WS-FIT ...
Nik Looker, Malcolm Munro, Jie Xu
72
Voted
ICSE
2000
IEEE-ACM
15 years 4 months ago
Requirements engineering: a roadmap
This paper presents an overview of the field of software systems requirements engineering (RE). It describes the main areas of RE practice, and highlights some key open research i...
Bashar Nuseibeh, Steve M. Easterbrook
WSC
1998
15 years 2 months ago
Modeling with Extend
This document presents an overview of the Extend modeling environment. Extend is a general purpose graphically oriented discrete event and continuous simulation application with a...
Jim Rivera