4047 search results - page 680 / 810 » Algebraic Model Checking |
159
Voted
CALCO
2011
Springer
14 years 2 months ago
2011
Springer
This paper extends the fibrational approach to induction and coinduction pioneered by Hermida and Jacobs, and developed by the current authors, in two key directions. First, we pr...
165
click to vote
ICFP
2012
ACM
13 years 5 months ago
2012
ACM
This paper presents a new functional programming model for graph structures called structured graphs. Structured graphs extend conventional algebraic datatypes with explicit defi...
136
Voted
CVPR
2008
IEEE
16 years 4 months ago
2008
IEEE
We consider the problem of finding a matching between two sets of features, given complex relations among them, going beyond pairwise. Each feature set is modeled by a hypergraph ...
141
click to vote
CSFW
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract. The focus of work on information flow security has primarily been on definitions of security in asynchronous systems models. This paper considers systems with scheduler...
110
Voted
EICS
2009
ACM
15 years 6 months ago
2009
ACM
This paper presents an approach for investigating in a predictive way potential disruptive effects of interruptions on task performance in a multitasking environment. The approach...