2662 search results - page 45 / 533 » Objects-early tools: a demonstration |
SAFECOMP
1998
Springer
15 years 1 months ago
1998
Springer
: This paper presents a process for the stepwise refinement of safety code assertions from identified system hazards. The code assertions are intended for use in system safety veri...
IADIS
2004
14 years 11 months ago
2004
Collaborative modelling tools can support rich activities in the classroom, including both small group work and plenary activities. They can also support the processing and analys...
FIS
2010
14 years 10 months ago
2010
This submission will provide interested parties with the opportunity to learn more about the FP7 PERIMETER project. Details of the testing and experimental methodologies and the ro...
JMLR
2008
14 years 9 months ago
2008
LIBLINEAR is an open source library for large-scale linear classification. It supports logistic regression and linear support vector machines. We provide easy-to-use command-line ...
CODES
1999
IEEE
15 years 2 months ago
1999
IEEE
In this paper, we present our approach to automate the development process of co-design tools. We demonstrate with a non-trivial real world example how we can accelerate the tool ...