3765 search results - page 296 / 753 » Formal Methods for Systems Engineering Behavior Models |
171
click to vote
FORMATS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...
191
click to vote
SEUS
2005
IEEE
16 years 8 days ago
2005
IEEE
In the last years the number of electronic control systems has increased significantly. In order to stay competitive more and more functionality is integrated into more and more p...
183
click to vote
IJCINI
2007
15 years 6 months ago
2007
Cognitive Informatics (CI) is a transdisciplinary enquiry of the internal information processing mechanisms and processes of the brain and natural intelligence shared by almost al...
213
Voted
INTERACTION
2009
ACM
15 years 11 months ago
2009
ACM
In this paper, we present the core concept and the benefits of an approach called RoboEarth which will be highly beneficial for future robotic applications in science and industry...
158
click to vote
APN
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Inheritance is one of the key issues of object-orientation. The inheritance mechanism allows for the definition of a subclass which inherits the features of a specific ...