3792 search results - page 686 / 759 » Techniques for Trusted Software Engineering |
169
Voted
TASE
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--We present a robotic manipulation system for automated selection and transfer of individual living cells to analysis locations. We begin with a commonly used cell transfe...
164
click to vote
TCIAIG
2010
14 years 11 months ago
2010
The objective of this work is to automatically detect the use of game bots in online games based on the trajectories of account users. Online gaming has become one of the most popu...
163
Voted
EMSOFT
2011
Springer
14 years 4 months ago
2011
Springer
As system integration becomes an increasingly important challenge for complex real-time systems, there has been a significant demand for supporting real-time systems in virtualiz...
172
click to vote
AVI
2010
15 years 6 months ago
2010
Advanced visual interfaces, like the ones found in informaualization, intend to offer a view on abstract data spaces to enable users to make sense of them. By mapping data to visu...
262
click to vote
TASE
2012
IEEE
14 years 3 days ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...