7380 search results - page 988 / 1476 » Engineering Software Intensive Systems |
171
click to vote
GPCE
2007
Springer
16 years 13 days ago
2007
Springer
Embedded systems can be viewed as scaled-down versions of their one counterparts. In many cases, the software abstractions and libraries for embedded systems can be derived from l...
171
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...
190
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
195
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
159
Voted
ISSTA
2004
ACM
15 years 11 months ago
2004
ACM
In today’s interconnected world, malware, such as worms and viruses, can cause havoc. A malware detector (commonly known as virus scanner) attempts to identify malware. In spite...