Sciweavers

3679 search results - page 84 / 736
» Hybrid Semantic Analysis
Sort
View
87
Voted
HYBRID
2009
Springer
15 years 4 months ago
Specification and Analysis of Network Resource Requirements of Control Systems
We focus on control systems in which sensors send data to actuators via a bus shared with other applications. An approach is proposed for specifying and implementing dynamic schedu...
Gera Weiss, Sebastian Fischmeister, Madhukar Anand...
87
Voted
JSA
2000
96views more  JSA 2000»
15 years 13 days ago
Schedulability analysis of periodic and aperiodic tasks with resource constraints
In this paper, we address the problem of scheduling hybrid task sets consisting of hard periodic and soft aperiodic tasks that may share resources in exclusive mode in a dynamic e...
Giuseppe Lipari, Giorgio C. Buttazzo
GCC
2005
Springer
15 years 6 months ago
The Computation of Semantic Data Cube
The multidimensional analysis based on data cube has been growing interest. However existing data cube model usually does not have the semantics of attributes and hence the analysi...
Yubao Liu, Jian Yin
93
Voted
IADIS
2003
15 years 2 months ago
Aid to the Semantic Maintenance of the Web Site
The objective of our work is to provide some aid to the maintenance of a web site. The webmaster would like to get a semantic follow-up of the users’ browsing, but he only has a...
Michel Sala, Pierre Pompidor, Danièle H&eac...
110
Voted
ENTCS
2006
142views more  ENTCS 2006»
15 years 19 days ago
The Rewriting Logic Semantics Project
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
José Meseguer, Grigore Rosu