15253 search results - page 371 / 3051 » Integer-Programming Software Systems |
177
click to vote
ISI
2005
Springer
16 years 10 days 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...
194
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
189
click to vote
ECBS
2007
IEEE
15 years 10 months ago
2007
IEEE
Due to the high cost of modeling, model-based techniques are yet to make their impact in the embedded systems industry, which still persist on maintaining code-oriented legacy sys...
210
click to vote
WSC
1997
15 years 8 months ago
1997
The Arena modeling system from Systems Modeling Corporation is a flexible and powerful tool that allows analysts to create animated simulation models that accurately represent vir...
179
click to vote
APSEC
2000
IEEE
15 years 11 months ago
2000
IEEE
Component-based software development approach is based on the idea to develop software systems by selecting appropriate off-the-shelf components and then to assemble them with a w...