4469 search results - page 323 / 894 » A Language for Role Specifications |
182
click to vote
ENTCS
2006
15 years 6 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...
191
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Query processing techniques for XML data have focused mainly on tree-pattern queries (TPQs). However, the need for querying XML data sources whose structure is very complex or not...
304
click to vote
PADL
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
166
click to vote
EUROMICRO
1996
IEEE
15 years 11 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
168
click to vote
AIMS
2007
Springer
16 years 29 days ago
2007
Springer
Policy conflict analysis processes based solely on the examination of policy language constructs can not readily discern the semantics associated with the managed system for which ...