8623 search results - page 1587 / 1725 » Software engineering for secure systems |
JUCS
2010
13 years 4 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
ESWA
2011
13 years 23 days ago
2011
This interdisciplinary research project focuses on relevant applications of Knowledge Discovery and Artificial Neural Networks in order to identify and analyse levels of country, b...
ASPLOS
2012
ACM
12 years 5 months ago
2012
ACM
Even though most data races are harmless, the harmful ones are at the heart of some of the worst concurrency bugs. Alas, spotting just the harmful data races in programs is like ...
SENSYS
2006
ACM
14 years 3 months ago
2006
ACM
Introducing mobile data sinks into wireless sensor networks (WSNs) improves the energy efficiency and the network lifetime, and is demanded for many application scenarios, such a...
OOPSLA
2005
Springer
14 years 2 months ago
2005
Springer
We present a points-to analysis technique suitable for environments with small time and memory budgets, such as just-in-time (JIT) compilers and interactive development environmen...