8623 search results - page 1472 / 1725 » Software engineering for secure systems |
169
click to vote
HICSS
2007
IEEE
16 years 12 days ago
2007
IEEE
Software can be tested either manually or automatically. The two approaches are complementary: automated testing can perform a large number of tests in little time, whereas manual...
137
click to vote
ISCAS
2007
IEEE
16 years 11 days ago
2007
IEEE
—Accurate analog models of power system components are required in order to realize an analog computation engine for power systems. Analog computation is an area of continued int...
161
Voted
LADS
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, as a result of several factors, such...
165
click to vote
CAI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. This paper introduces the model-based software development lifecycle model SMA--the Smyle Modeling Approach--which is centered around Smyle. Smyle is a dedicated learning...
214
click to vote
REALWSN
2010
15 years 25 days ago
2010
Pre-deployment tests of sensor networks in indoor testbeds can only deliver a very approximate view of the correctness and performance of a deployed sensor network and it is theref...