Sciweavers

875 search results - page 12 / 175
» Representing distributed systems using the Open Provenance M...
Sort
View
JOT
2007
113views more  JOT 2007»
14 years 9 months ago
Pattern-Oriented Design for Multi-Agent System: A Conceptual Model
Design patterns represent solutions to specific problem of developing one application that have evolved over time. They leverage the reuse level to the design phase by providing a...
Radziah Mohamad, Safaai Deris, Hany H. Ammar
ESWS
2011
Springer
14 years 1 months ago
DataFinland - A Semantic Portal for Open and Linked Datasets
The number of open datasets available on the web is increasing rapidly with the rise of the Linked Open Data (LOD) cloud and various governmental efforts for releasing public data ...
Matias Frosterus, Eero Hyvönen, Joonas Laitio
158
Voted
ICDE
2002
IEEE
149views Database» more  ICDE 2002»
15 years 11 months ago
GADT: A Probability Space ADT for Representing and Querying the Physical World
Large sensor networks are being widely deployed for measurement, detection, and monitoring applications. Many of these applications involve database systems to store and process d...
Anton Faradjian, Johannes Gehrke, Philippe Bonnet
DBSEC
1996
125views Database» more  DBSEC 1996»
14 years 11 months ago
A Framework for High Assurance Security of Distributed Objects
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...
John Hale, Jody Threet, Sujeet Shenoi
68
Voted
AAAI
2004
14 years 11 months ago
Model Checking Temporal Logics of Knowledge in Distributed Systems
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
Kaile Su