979 search results - page 165 / 196 » Automated Environment Generation for Software Model Checking |
ACSAC
2010
IEEE
13 years 7 months ago
2010
IEEE
Smartphone usage has been continuously increasing in recent years. Moreover, smartphones are often used for privacysensitive tasks, becoming highly valuable targets for attackers....
FM
1999
Springer
14 years 1 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...
ICFEM
2009
Springer
14 years 3 months ago
2009
Springer
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back...
KBSE
2005
IEEE
14 years 2 months ago
2005
IEEE
The use of web applications has become increasingly popular in our routine activities, such as reading the news, paying bills, and shopping on-line. As the availability of these s...
WECWIS
2003
IEEE
14 years 2 months ago
2003
IEEE
With the growing number of marketplaces and trading partners in the e–commerce environment, software tools designed to act on behalf of human traders are increasingly used to au...