Sciweavers

4454 search results - page 564 / 891
» Designing components for e-services
Sort
View
OAS
2003
15 years 8 months ago
Using OWL in a Pervasive Computing Broker
Computing is moving toward a pervasive context-aware environment in which agents with limited resources will require external support to help them become context-aware. In this pa...
Harry Chen, Timothy W. Finin, Anupam Joshi
DYNAMO
2000
110views more  DYNAMO 2000»
15 years 8 months ago
Machine-adaptable dynamic binary translation
Dynamic binary translation is the process of translating and optimizing executable code for one machine to another at runtime, while the program is "executing" on the ta...
David Ung, Cristina Cifuentes
ESM
2000
15 years 8 months ago
Wide area network module - for FDT based simulation of multicast communication protocols
The framework of this paper is the design of complex communication protocols by simulation, based on formal description techniques (FDT). We propose a general-purpose scalable mod...
Eugen Borcoci, Stanislaw Budkowski
AAAI
1997
15 years 8 months ago
A Script-Based Approach to Modifying Knowledge Bases
Our goal is to build knowledge acquisition tools that support users in modifying knowledge-based systems. These modi cations may require several individual changes to various comp...
Yolanda Gil, Marcelo Tallis
IWFM
1998
136views Formal Methods» more  IWFM 1998»
15 years 8 months ago
Translating Structured Database Schemas into Abstract Machines
ing Structured Database Schemas into Abstract Machines Brian Matthews Rutherford Appleton Laboratory, Didcot, OXON, OX11 OQX, U.K. Elvira Locuratolo Istituto di Elaborazione dell&#...
Brian Matthews, Elvira Locuratolo