1219 search results - page 35 / 244 » Verification of Equivalent-Results Methods |
184
click to vote
CSAC
2006
15 years 4 months ago
2006
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
130
click to vote
IASTEDSEA
2004
15 years 4 months ago
2004
Java applets run on a Virtual Machine that checks code's integrity and correctness before execution using a module called Bytecode Verifier. Java Card technology allows Java ...
112
click to vote
ISF
2007
15 years 3 months ago
2007
This article discusses methods to support assurance of surveillance monitoring; and compliance verification knowledge management (CV-KM). The discussion includes aspects of primar...
124
click to vote
DATE
1999
IEEE
15 years 7 months ago
1999
IEEE
If real number calculations are implemented as circuits, only a limited preciseness can be obtained. Hence, formal verification can not be used to prove the equivalence between th...
113
click to vote
FORTE
2008
15 years 4 months ago
2008
Abstract. Several recent works have considered parameterized verification, i.e. automatic verification of systems consisting of an arbitrary number of finite-state processes organi...