Sciweavers

9873 search results - page 308 / 1975
» Emergent Semantics Systems
Sort
View
ACSD
2010
IEEE
197views Hardware» more  ACSD 2010»
15 years 5 months ago
Order-Independence of Vector-Based Transition Systems
Abstract--Semantics of many specification languages, particularly those used in the domain of hardware, is described in terms of vector-based transition systems. In such a transiti...
Matthias Raffelsieper, Mohammad Reza Mousavi, Hans...
ATAL
2007
Springer
16 years 1 months ago
ARTS: agent-oriented robust transactional system
This paper presents the ARTS (Agent-oriented Robust Transactional System) model, which applies transaction concepts to provide agent developers with high-level support for agent s...
Mingzhong Wang, Amy Unruh, Kotagiri Ramamohanarao
RTAS
2007
IEEE
16 years 1 months ago
A Programming Model for Time-Synchronized Distributed Real-Time Systems
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
Yang Zhao, Jie Liu, Edward A. Lee
UIC
2007
Springer
16 years 1 months ago
Persistent Storage System for Efficient Management of OWL Web Ontology
This paper proposes a new persistent storage to efficiently manage OWL Web ontologies. The Semantic Web is recognized as a next direction for progress of the current Web. To realiz...
Dongwon Jeong, Myounghoi Choi, Yang-Seung Jeon, Yo...
CCGRID
2005
IEEE
16 years 27 days ago
Implementing MPI-IO atomic mode without file system support
The ROMIO implementation of the MPI-IO standard provides a portable infrastructure for use on top of any number of different underlying storage targets. These different targets va...
Robert B. Ross, Robert Latham, William Gropp, Raje...