5439 search results - page 405 / 1088 » Patterns: from system design to software testing |
195
click to vote
WSC
2004
15 years 9 months ago
2004
This paper describes an algorithm for approximating missing data in air traffic routes thereby allowing the lengths of different routes to be compared for our simulation analyses....
189
click to vote
ECLIPSE
2007
ACM
15 years 11 months ago
2007
ACM
In this paper we detail the design and implementation of an Eclipse plug-in that supports construction, analysis and elaboration of Modal Transition Systems. The plug-in supports ...
172
click to vote
CADE
2007
Springer
16 years 8 months ago
2007
Springer
This paper describes the design, implementation, and testing of a system for selecting necessary axioms from a large set also containing superfluous axioms, to obtain a proof of a...
203
click to vote
ISI
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Trusted software execution, prevention of code and data tampering, authentication, and providing a secure environment for software are some of the most important security...
213
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper proposes a novel HW/SW co-simulation approach that minimizes the impact on software designers. We propose a SystemC-based system that enables the software team to test ...