Sciweavers

151 search results - page 22 / 31
» The Schema Mechanism
Sort
View
ATAL
2009
Springer
14 years 15 days ago
GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...
Bruno Mermet, Gaële Simon
DMG
2005
Springer
14 years 1 months ago
Framework for Querying Distributed Objects Managed by a Grid Infrastructure
Queries over scientific data often imply expensive analyses of data requiring a lot of computational resources available in Grids. We are developing a customizable query processor...
Ruslan Fomkin, Tore Risch
ICDE
2006
IEEE
198views Database» more  ICDE 2006»
14 years 9 months ago
Automating the Design and Construction of Query Forms
One of the simplest ways to query a database is through a form, where a user can fill in relevant information and obtain desired results by submitting the form. Designing good sta...
Magesh Jayapandian, H. V. Jagadish
HICSS
2009
IEEE
143views Biometrics» more  HICSS 2009»
14 years 2 months ago
Instance Data Evaluation for Semantic Web-Based Knowledge Management Systems
As semantic web technologies are increasingly used to empower knowledge management systems (KMSs), there is a growing need for mechanisms and automated tools for checking content ...
Jiao Tao, Li Ding, Deborah L. McGuinness
APWEB
2007
Springer
13 years 12 months ago
DBMSs with Native XML Support: Towards Faster, Richer, and Smarter Data Management
Abstract. XML provides a natural mechanism for representing semistructured and unstructured data. It becomes the basis for encoding a large variety of information, for example, the...
Min Wang