536 search results - page 11 / 108 » A computer verified, monadic, functional implementation of t... |
IEEESCC
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper proposes to enhance the dynamism and the flexibility of Java Enterprise Edition (EE) servers by introducing a Service-Oriented Architecture (SOA) inside. The purpose is...
101
click to vote
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
108
click to vote
ECCV
2008
Springer
16 years 1 months ago
2008
Springer
We propose a convex framework for silhouette and stereo fusion in 3D reconstruction from multiple images. The key idea is to show that the reconstruction problem can be cast as one...
114
click to vote
DAC
1996
ACM
15 years 3 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
91
Voted
ERSHOV
2003
Springer
15 years 4 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...