13140 search results - page 2269 / 2628 » Coupling Component Systems towards Systems of Systems |
175
click to vote
KBSE
2005
IEEE
16 years 12 days ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
177
click to vote
RTAS
2005
IEEE
16 years 12 days ago
2005
IEEE
Low-end embedded architectures, such as sensor nodes, have become popular in diverse fields, many of which impose real-time constraints. Currently, the Atmel Atmega processor fam...
187
click to vote
JCDL
2005
ACM
16 years 11 days ago
2005
ACM
Some large scale topical digital libraries, such as CiteSeer, harvest online academic documents by crawling open-access archives, university and author homepages, and authors’ s...
182
click to vote
NOSSDAV
2005
Springer
16 years 9 days ago
2005
Springer
An improved prototype of the “voiscape” voice communication medium has been developed and subjectively evaluated. Voiscape enables natural and seamless voice communication by ...
169
click to vote
ISSTA
2004
ACM
16 years 7 days 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...