9989 search results - page 168 / 1998 » A CLP Approach to Modelling Systems |
290
Voted
RTAS
2011
IEEE
14 years 8 months ago
2011
IEEE
—In this paper, we propose two adaptive scheduling approaches to support real-time control applications with highly varying computation times. The use of a resource reservation s...
129
click to vote
CCE
2004
15 years 4 months ago
2004
It is common that external procedures are incorporated into an equation-oriented model when modeling complex chemical process systems. The so-obtained models are called composite ...
125
click to vote
PERVASIVE
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we describe TinyObj service discovery model, which uses short wireless packet broadcasts for service discovery within a user’s vicinity. We present a prototype im...
135
click to vote
DAGSTUHL
1996
15 years 6 months ago
1996
lection of software tools including: NSL, a neural simulation language; ASL, an abstract schema language; and MissionLab, a schema-based mission-oriented simulation and robot imple...
151
click to vote
RITA
2000
15 years 4 months ago
2000
This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a ...