221 search results - page 10 / 45 » Heyting Algebras and Formal Languages |
83
Voted
FSEN
2007
Springer
15 years 4 months ago
2007
Springer
We formally specify the recent DRM scheme of Nair et al. in the
110
click to vote
ENTCS
2008
15 years 13 days ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
100
Voted
ICWS
2008
IEEE
15 years 1 months ago
2008
IEEE
BPEL (Business Process Execution Language) has become the standard for specifying and executing workflow specifications for web service composition invocation. A major weakness of ...
110
click to vote
FASE
2003
Springer
15 years 5 months ago
2003
Springer
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
101
click to vote
CAISE
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...