852 search results - page 47 / 171 » entcs 2010 |
170
click to vote
ENTCS
2006
15 years 5 months ago
2006
Patterns for property specification enable non-experts to write formal specifications that can be used for automatic model checking. The existing patterns identified in [6] allow ...
110
click to vote
ENTCS
2006
15 years 5 months ago
2006
This paper is a case study in combining theorem provers. We define a derived rule in HOL-Light, CVC PROVE, which calls CVC Lite and translates the resulting proof object back to HO...
153
click to vote
ENTCS
2006
15 years 5 months ago
2006
This report summarises the results of the discussions of a working group on model transformation of the Dagstuhl Seminar on Language Engineering for Model-Driven Software Developme...
155
click to vote
ENTCS
2006
15 years 5 months ago
2006
Anonymity means that the identity of the user performing a certain action is maintained secret. The protocols for ensuring anonymity often use random mechanisms which can be descr...
159
click to vote
ENTCS
2006
15 years 5 months ago
2006
Abstract. In this paper, we discuss the semantics of BPEL4WS language which is a de facto standard for specifying and execution workflow specification for web service composition a...