1088 search results - page 165 / 218 » Tools for support of automata-based programming |
IRI
2006
IEEE
15 years 3 months ago
2006
IEEE
With the rapidly increasing complexity of computer systems and the sophistication of hacking tools and techniques, there is a crucial need for computer forensic analysis technique...
LCN
2006
IEEE
15 years 3 months ago
2006
IEEE
As sensor networks become denser and more widely deployed, the potential develops for interconnecting these networks to combine datasets, share technological solutions, and to con...
TRIDENTCOM
2006
IEEE
15 years 3 months ago
2006
IEEE
—Wireless networks in combination with image sensors open up a multitude of previously unthinkable sensing applications. Capable tools and testbeds for these wireless image senso...
ICAC
2005
IEEE
15 years 3 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
ACMSE
2004
ACM
15 years 3 months ago
2004
ACM
Eclipse is a Java integrated development environment (IDE) and tool integration platform that offers numerous extension points for customization through a plug-in architecture. Th...