1601 search results - page 70 / 321 » The affordable application of formal methods to software eng... |
TASE
2008
IEEE
14 years 3 months ago
2008
IEEE
Symmetry reduction holds great promise to counter the state explosion problem. However, currently it is “conducting a life on the fringe”, and is not widely applied, mainly du...
IUI
2010
ACM
14 years 3 months ago
2010
ACM
Information about the location and size of the targets that users interact with in real world settings can enable new innovations in human performance assessment and software usab...
WOSP
2004
ACM
2004
ACM
Early-stage performance modeling and its application for integrated embedded control software design
14 years 2 months ago
Most of current embedded control software (ECSW) development techniques deal only with performance specifications during the early software design phase and delay the modeling and...
ICFEM
1998
Springer
14 years 1 months ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
ACMSE
2006
ACM
14 years 3 months ago
2006
ACM
In this paper, we propose several methods to increase the difficulty of reverse engineering applications, with special emphasis on preventing the circumvention of copy protection ...