Sciweavers

339 search results - page 10 / 68
» Semantics and Execution of Domain Specific Models
Sort
View
APN
2008
Springer
13 years 10 months ago
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
Roland Bouroulet, Raymond R. Devillers, Hanna Klau...
AIME
2009
Springer
13 years 9 months ago
Semantic Web-Based Modeling of Clinical Pathways Using the UML Activity Diagrams and OWL-S
: Clinical Pathways can be viewed as workflows, comprising an ordering of activities with associated execution constraints. Workflow models allow formal representation, analysis an...
Ali Daniyal, Syed Sibte Raza Abidi
HICSS
2002
IEEE
130views Biometrics» more  HICSS 2002»
14 years 27 days ago
A Set Theory Based Approach on Applying Domain Semantics to XML Structures
As XML is gathering more and more importance in the field of data interchange in distributed business to business (B2B) applications, it is increasingly important to provide a for...
Wolfgang Schuetzelhofer, Karl M. Göschka
ICMCS
2005
IEEE
150views Multimedia» more  ICMCS 2005»
14 years 1 months ago
MPEG-7 MDS-Based Application Specific Metadata Model for Personalized Multi-Service Access in a DTV Broadcast Environment
The paper presents an MPEG-7 Multimedia Description Schemes (MDS)-based metadata and user profile model used within an enhanced DTV environment for semantic annotation and person...
Sofia Tsekeridou
CAISE
2006
Springer
13 years 11 months ago
A Framework for the Behavior Based Integration of Business Processes
Abstract. We propose a meta-meta framework architecture for supporting the behavior based integration of two business processes. The meta-meta level provides basic integration oper...
Georg Grossmann, Michael Schrefl, Markus Stumptner