933 search results - page 30 / 187 » A Fully Automatic hp-Adaptivity |
102
Voted
IFIP
2009
Springer
14 years 10 months ago
2009
Springer
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...
IFIP
1999
Springer
15 years 5 months ago
1999
Springer
: This paper presents a synthesis algorithm for pipelined circuits. The circuit is specified as a collection of independent, looselycoupled modules connected by queues. The synthe...
107
Voted
AMAST
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
DATE
2004
IEEE
15 years 4 months ago
2004
IEEE
We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model. This allows us to study properties of globally asynchronous...
109
click to vote
ICIP
2003
IEEE
16 years 2 months ago
2003
IEEE
In this paper a new automatic approach to road extraction from aerial images is proposed. This method improves a recently introduced promising approach to probabilistic contour tr...