4209 search results - page 490 / 842 » Abstract Dialectical Frameworks |
127
Voted
FASE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...
137
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
153
click to vote
GFKL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. An overview of the Time Series Knowledge Mining framework to discover knowledge in multivariate time series is given. A hierarchy of temporal patterns, which are not a pr...
133
Voted
ICCS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we introduce a numerical procedure for performing dynamic data driven simulations (DDDAS). The main ingredient of our simulation is the multiscale interpola...
128
Voted
ICFEM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we present a technique for the Spin tool, inspired by practical experiences with Spin and a FireWire protocol. We show how to guide simulations with Spin, b...