129 search results - page 18 / 26 » 06172 Abstracts Collection -- Directed Model Checking |
ICCS
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. This paper presents a prototype implementation of an intelligent assistance architecture for data-driven simulation specialising in qualitative data in the social science...
EGOV
2004
Springer
14 years 4 months ago
2004
Springer
In this paper, we present an approach based on hierarchically structured business models as artifacts of business process modeling that are used in a stepwise acquisition process f...
ISOLA
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Regular expressions and their extensions have become a major component of industry-standard specification languages such as PSL/Sugar ([2]). The model checking procedure...
PERCOM
2011
ACM
13 years 2 months ago
2011
ACM
Abstract—With the abundance and ubiquity of mobile devices, a new class of applications is emerging, called participatory sensing (PS), where people can contribute data (e.g., im...
CJ
2004
13 years 10 months ago
2004
act interpretation. R. Barbuti, C. Bernardeschi and N. De Francesco With mobile technology more and more prominent, the problem of security leakages becomes more and more important...