174 search results - page 14 / 35 » A Hybrid Denotational Semantics for Hybrid Systems |
SACMAT
2006
ACM
14 years 1 months ago
2006
ACM
Delegation of authority is an important process that needs to be captured by any access control model. In role-based access control models, delegation of authority involves delega...
KBSE
2003
IEEE
14 years 1 months ago
2003
IEEE
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...
RTAS
2003
IEEE
14 years 1 months ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
WISE
2009
Springer
14 years 5 months ago
2009
Springer
In this paper, we present a Web recommender system for recommending, predicting and personalizing music playlists based on a user model. We have developed a hybrid similarity match...
HYBRID
2009
Springer
14 years 2 months ago
2009
Springer
This paper aims to simplify recent efforts proposed by the Berkeley school in giving a formal semantics to the Ptolemy toolbox. We achieve this by developing a simple and elegant ...