29172 search results - page 206 / 5835 » Modeling Systems in CLP |
189
click to vote
ISER
1991
Springer
15 years 9 months ago
1991
Springer
Detailed knowledge of actuator properties is a prerequisite for advanced manipulator design and control. This paper deals with the experimental identification and modelling of the...
114
click to vote
WOA
2003
15 years 7 months ago
2003
— The Immune System (IS) constitutes the defence mechanism of higher level organisms to micro organismic threats: it is a real distributed system providing mechanisms of adaptati...
159
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper presents an efficient solution for modeling checking graph transformation systems. The approach transforms AGG specifications into Bogor models and supports both attribu...
170
click to vote
ICSE
2009
IEEE-ACM
15 years 3 months ago
2009
IEEE-ACM
Collaborative software development is nowadays inconceivable without optimistic version control systems (VCSs). Without such systems the parallel modification of one artifact by m...
168
click to vote
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...