Sciweavers

1600 search results - page 202 / 320
» Problem-solving in open environments
Sort
View
DAGSTUHL
2001
13 years 10 months ago
Programmable Networks
In this paper we present a programmable networking model that provides a common framework for understanding the state-of-the-art in programmable networks. A number of projects are...
Andrew T. Campbell, Michael E. Kounavis, John B. V...
ICHIM
2001
100views more  ICHIM 2001»
13 years 10 months ago
Mobile Devices to Assist Cultural Visits
Traditional visits to environments interesting from a cultural point of view are based on technologies that do not permit flexibility and modification to the visit itself on the b...
Maria Elena Bonfigli, Giacomo Cabri, Letizia Leona...
SDL
2001
125views Hardware» more  SDL 2001»
13 years 10 months ago
Verification of Quantitative Temporal Properties of SDL Specifications
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
Iulian Ober, Alain Kerbrat
DOA
2000
93views more  DOA 2000»
13 years 10 months ago
Meta Object Approach to Database Schema Integration
Database schema integration is significant not only in building multidatabase systems but also in data warehousing. Metadata, which define schemas, are normally involved in the su...
J. Tan, Arkady B. Zaslavsky, Andy Bond
AAAI
1997
13 years 10 months ago
Efficient Management of Very Large Ontologies
This paper describes an environment for supporting very large ontologies. The system can be used on single PCs, workstations, a cluster of workstations, and high-end parallel supe...
Kilian Stoffel, Merwyn G. Taylor, James A. Hendler