2041 search results - page 162 / 409 » Modelling Generic Judgements |
127
click to vote
ICRA
2000
IEEE
15 years 9 months ago
2000
IEEE
W'e consider the kinematic model of a vehicle moving forward with a lower bounded turning radius. This model, is relevant to describe the kinematics of road vehicles as well ...
142
click to vote
CAISE
2000
Springer
15 years 8 months ago
2000
Springer
More and more product development projects involve geographically distributed groups of developers. One problem in such groups is the long term lack of awareness of the activities ...
139
click to vote
ENTCS
2008
15 years 4 months ago
2008
Engineering natural and appropriate interactive behaviour in ubiquitous computing systems presents new challenges to their developers. This paper explores formal models of interac...
142
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present ModHel’X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the se...
139
click to vote
SIMUTOOLS
2008
15 years 6 months ago
2008
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...