4047 search results - page 748 / 810 » Algebraic Model Checking |
130
Voted
MICAI
2010
Springer
15 years 20 days ago
2010
Springer
The meaning of such verb-noun combinations as take care, undertake work, pay attention can be generalized as DO what is designated by the noun. Likewise, the meaning of make a deci...
124
click to vote
ACSAC
2010
IEEE
15 years 8 days 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....
135
Voted
SEKE
2010
Springer
15 years 3 days ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
131
Voted
SIGSOFT
2010
ACM
15 years 3 days ago
2010
ACM
Given the dizzying pace of change in computer science, trying to look too far into the future of software engineering is hard. However, it might be possible to predict the future ...
155
Voted
TACAS
2010
Springer
15 years 3 days ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...