1669 search results - page 68 / 334 » Structured Specification of Model Interpreters |
115
click to vote
FMOODS
2007
15 years 4 months ago
2007
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
126
click to vote
JANCL
2007
15 years 3 months ago
2007
We propose a non-standard interpretation of Alternating-time Temporal Logic with imperfect information, for which no commonly accepted semantics has been proposed yet. Rather than ...
IROS
2006
IEEE
15 years 9 months ago
2006
IEEE
- The creation of a rover for a specific task requires designing and selecting the mechanical structure specifically for its mission. This can be done by modelling a chassis and ev...
112
click to vote
BIRTHDAY
1997
Springer
15 years 7 months ago
1997
Springer
The structures of space and time are identified as essential for the realization of cognitive systems. It is suggested that the omnipresence of space and time may have been respons...
119
click to vote
AAAI
2000
15 years 4 months ago
2000
In recent years, there have been several proposals that extend the expressive power of Bayesian networks with that of relational models. These languages open the possibility for t...