1099 search results - page 81 / 220 » A tool for assisting the understanding and formal developmen... |
DSN
2008
IEEE
13 years 10 months ago
2008
IEEE
Software vulnerabilities are the root cause of a wide range of attacks. Existing vulnerability scanning tools are able to produce a set of suspects. However, they often suffer fro...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— This paper presents a multi-vehicle platform and framework for robotics education and research. The system is designed as an educational tool for introducing children to engine...
HCI
2009
13 years 6 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
SCAM
2008
IEEE
14 years 3 months ago
2008
IEEE
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
Frameworks such as J2EE are designed to simplify the process of developing enterprise applications by handling much of the complexity of concurrency, transaction, and persistence ...