Sciweavers

2414 search results - page 251 / 483
» Reasoning Support for OWL-E
Sort
View
WOODPECKER
2001
15 years 8 months ago
Consistency Checking of RM-ODP Specifications
Ensuring that specifications are consistent is an important part of specification development and testing. In this paper we introduce the ConsVISor tool for consistency checking o...
Kenneth Baclawski, Mieczyslaw M. Kokar, Jeffrey E....
WSC
2004
15 years 8 months ago
A Template-Based Conceptual Modeling Infrastructure for Simulation of Physical Security Systems
Although simulation is one of the most innovative and cost-effective tools for modeling and analyzing a system, simulation studies often fail to provide any useful results. One re...
Ashu Guru, Paul A. Savory
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
PDPTA
2003
15 years 8 months ago
Teaching Java Concurrency to CS vs IT Students: A Matter of Emphasis
— A number of colleges and universities have recently added new degree programs in Information Technology (IT), or added IT components to existing Computer Science (CS) programs....
Charles E. Hughes, Marc L. Smith
SCANGIS
2003
15 years 8 months ago
On the Adequacy of GIS-Generated Weed Maps for Precision Farming
Discrete sampling data is used in several environmental studies to create maps in order to support decision-making processes. The decision maps represent an increasing importance i...
Matthias Backes, Lutz Plümer