5184 search results - page 890 / 1037 » Computer support for mechatronic control system design |
110
click to vote
VIZSEC
2005
Springer
15 years 10 months ago
2005
Springer
We have designed an interactive visualization framework for the automated trust negotiation (ATN) protocol and we have implemented a prototype of the visualizer in Java. This fram...
114
click to vote
CCS
2010
ACM
15 years 7 months ago
2010
ACM
In this paper, we propose a new form of image-based CAPTCHA we term "scene tagging". It tests the ability to recognize a relationship between multiple objects in an imag...
162
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
Pair approximations have often been used to predict equilibrium conditions in spatially-explicit epidemiological and ecological systems. In this work, we investigate whether this ...
127
click to vote
RTSS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
160
click to vote
RSP
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...