Sciweavers

1356 search results - page 196 / 272
» A variable-free dynamic semantics
Sort
View
SEMWEB
2004
Springer
15 years 9 months ago
HCOME: A Tool-Supported Methodology for Engineering Living Ontologies
Abstract. The fast emergent areas of the Semantic Web and knowledge management push researchers to new efforts concerning ontology engineering. The development of ontologies must b...
Konstantinos Kotis, George A. Vouros, Jerón...
BIRTHDAY
2003
Springer
15 years 9 months ago
A Formal Basis for Reasoning on Programmable QoS
Abstract. The explicit management of Quality of Service (QoS) of network connectivity, such as, e.g., working cost, transaction support, and security, is a key requirement for the ...
Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari...
ICWL
2003
Springer
15 years 9 months ago
A Web-Based Platform for E-learning Based on Information Management System
This paper presents an intelligent Information (course materials) Management System, (called AnyServer) which can serve as an Web based Learning platform (WLP) and enable course ed...
Pui-on Au, Leung Cheng, Weijia Jia, Paul Kai-on Ch...
ICDCSW
2002
IEEE
15 years 9 months ago
Efficient Massive Sharing of Content among Peers
In this paper we focus on the design of high performance peer-to-peer content sharing systems. In particular, our goal is to achieve global load balancing and short user-request r...
Peter Triantafillou, Chryssani Xiruhaki, Manolis K...
CSCWD
2001
Springer
15 years 9 months ago
Verification of XRL: An XML-based Workflow Language
XRL (eXchangeable Routing Language) is an instancebased workflow language that uses XML for the representation of process definitions and Petri nets for its semantics. Since XRL i...
Wil M. P. van der Aalst, H. M. W. Verbeek, A. Kuma...