3429 search results - page 514 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
160
click to vote
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
169
click to vote
CATA
2006
15 years 5 months ago
2006
This paper introduces a real time human hand simulation system. A lifelike hand model is constructed and some of the human hand constraints are applied to it. Natural hand gesture...
133
click to vote
ENTCS
2008
15 years 3 months ago
2008
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...
131
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
We investigate a prototypical agent-based model, the Naming Game, on random geometric networks. The Naming Game is a minimal model, employing local communications that captures th...
129
click to vote
ADBIS
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we describe a prototype implementation of updateable views called “SBQL Views”. The prototype follows a novel approach to view updates based on the Stack-Based Ap...