Sciweavers

339 search results - page 19 / 68
» Semantics and Execution of Domain Specific Models
Sort
View
OMER
2001
13 years 9 months ago
A Model-Based Approach for Automotive Software Development
: Integrated model-based specification techniques facilitate the definition of seamless development processes for electronic control units (ECUs) including support for domain speci...
Peter Braun 0003, Martin Rappl
SEMWEB
2009
Springer
14 years 15 days ago
A New Perspective on Semantics of Data Provenance
: Data Provenance refers to the “origin”, “lineage”, and “source” of data. In this work, we examine provenance from a semantics perspective and present the W7 model, an...
Sudha Ram, Jun Liu
ASPLOS
1991
ACM
13 years 11 months ago
Code Generation for Streaming: An Access/Execute Mechanism
Access/execute architectures have several advantages over more traditional architectures. Because address generation and memory access are decoupled from operand use, memory laten...
Manuel E. Benitez, Jack W. Davidson
ENTCS
2006
148views more  ENTCS 2006»
13 years 8 months ago
Towards the Semantics and Verification of BPEL4WS
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...
Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan ...
ISF
2007
121views more  ISF 2007»
13 years 7 months ago
Virtual organization security policies: An ontology-based integration approach
Abstract This paper addresses the specification of a security policy ontology framework to mediate security policies between virtual organizations (VO) and real organizations (RO)....
Saravanan Muthaiyah, Larry Kerschberg