399 search results - page 32 / 80 » Verification of System Level Model Transformations |
115
click to vote
JUCS
2008
15 years 2 months ago
2008
: In this work we present a strategy for off-line signature verification. It takes into account a writer-independent model which reduces the pattern recognition problem to a 2-clas...
156
Voted
OSDI
2008
ACM
15 years 4 months ago
2008
ACM
DryadLINQ is a system and a set of language extensions that enable a new programming model for large scale distributed computing. It generalizes previous execution environments su...
137
click to vote
AINA
2003
IEEE
15 years 6 months ago
2003
IEEE
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
106
click to vote
APSEC
1998
IEEE
15 years 6 months ago
1998
IEEE
In this paper we demonstrate how light weight tools can be used to increase the level of confidence in Z specifications. In particular we outline the Pipedream approach to explori...
113
click to vote
SPATIALCOGNITION
2000
Springer
15 years 6 months ago
2000
Springer
We present an approach to spatial inference which is based on the procedural semantics of spatial relations. In contrast to qualitative reasoning, we do not use discrete symbolic m...