1738 search results - page 290 / 348 » Leveraging open-source software in the design and developmen... |
138
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
We describe collaborative efforts between a knowledge representation team, a community of scientists, and scientific information managers in developing knowledge models for ecolog...
121
click to vote
HRI
2006
ACM
2006
ACM
Usability evaluation of an automated mission repair mechanism for mobile robot mission specification
15 years 10 months ago
This paper describes a usability study designed to assess ease of use, user satisfaction, and performance of a mobile robot mission specification system. The software under consid...
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
An advanced communication system, the FlexRay system, has been developed for future automotive applications. It consists of time-triggered clusters, such as drive-by-wire in cars,...
141
click to vote
FM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
118
click to vote
FOSSACS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...