1860 search results - page 62 / 372 » tools 2009 |
QEST
2009
IEEE
14 years 5 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....
ICTA
2009
IEEE
14 years 5 months ago
2009
IEEE
In this paper, we describe an interface to display texts in a fashion adapted to dyslexic readers. In order to help the reading task, we designed several tools geared towards the ...
WCRE
2009
IEEE
14 years 5 months ago
2009
IEEE
—For a long time, dynamic tracing has been an enabling technique for reverse engineering tools. Tracing can not only be used to record the control flow of a particular component...
GI
2009
Springer
14 years 3 months ago
2009
Springer
: This paper presents the principles of concept-driven engineering and the ConceptManager tool as an implementation of these principles. Concept-Driven Engineering is capable of el...
FOSAD
2009
Springer
14 years 5 months ago
2009
Springer
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and to improve access control, sometimes with logical ideas and t...