Sciweavers

1699 search results - page 14 / 340
» A timed semantics of Orc
Sort
View
EUROMICRO
2009
IEEE
14 years 20 days ago
Formal Semantics of the ProCom Real-Time Component Model
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectur...
Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlso...
ICIP
2009
IEEE
14 years 9 months ago
Semantic Labeling Of Track Events Using Time Series Segmentation And Shape Analysis
This paper presents a novel framework for applying semantic labels to events within a track. A track is a two-dimensional (2D) or a three-dimensional (3D) signal in time where eac...
IAT
2009
IEEE
14 years 3 months ago
A New Semantics of Social Commitments Using Branching Space-Time Logic
—Commitments based on branching time logic are powerful representations for modeling multi-agent interactions. Current approaches into commitments have conceived these representa...
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssou...
ESWS
2008
Springer
13 years 10 months ago
Creating and Using Geospatial Ontology Time Series in a Semantic Cultural Heritage Portal
Content annotations in semantic cultural heritage portals commonly make spatiotemporal references to historical regions and places using names whose meanings are different in diffe...
Tomi Kauppinen, Jari Väätäinen, Eer...
RTSS
1993
IEEE
14 years 27 days ago
Object-Based Semantic Real-Time Concurrency Control
This paper presents a technique that is capable of supporting two major requirements for concurrency control in real-time databases: data temporal consistency, and data logical co...
Lisa Cingiser DiPippo, Victor Fay Wolfe